Inferir varias cosas a la vez con tipos mapeados inversos

Rate this content
Bookmark

Aprende sobre la inferencia con tipos mapeados inversos para crear grandes inferencias para argumentos que agregan diferentes elementos de la misma forma. La técnica puede ayudarte a introducir relaciones a nivel de tipo dentro de objetos y tuplas. La masterclass comenzará con la introducción a la técnica y repasará un par de ejemplos similares al mundo real de cómo esto se puede utilizar para mejorar los tipos de biblioteca.

Mateusz Burzyński
Mateusz Burzyński
26 min
21 Sep, 2023

Comments

Sign in or register to post your comment.

Video Summary and Transcription

Mateusz Kruzynski presenta los tipos mapeados inversos y demuestra su uso en la transformación de tipos de objeto. Discute cómo los tipos mapeados inversos se pueden utilizar para la inferencia y para proporcionar tipos contextuales para los tipos de parámetros. También muestra cómo los tipos mapeados inversos se pueden utilizar para extender una entidad y vincular oyentes de eventos. En el contexto de las máquinas de estado, explica cómo los tipos mapeados inversos se pueden utilizar para tipificar fuertemente la propiedad inicial y crear máquinas de estado jerárquicas. Sin embargo, hay limitaciones a tener en cuenta, como inferir una sola cosa por propiedad de objeto o elemento de tupla.

1. Introducción a los Tipos de Mapa Inverso

Short description:

Mi nombre es Mateusz Kruzynski. Trabajo en Stately y mantengo proyectos de código abierto populares como Emotion, Redux Saga, ChangeSets, XState, y contribuyo a TypeScript. Hoy, hablaré sobre la inferencia de varias cosas a la vez con tipos de mapa inverso. Los tipos de mapa son funciones a nivel de tipo que transforman los tipos de objeto. Pueden transformar los valores de las propiedades y las claves de las propiedades. Veamos un ejemplo con la transformación del tipo de objeto utilizando la función de identidad.

Mi nombre es Mateusz Kruzynski. Trabajo en Stately, donde trabajamos en máquinas de estado y todas las cosas relacionadas con eso. También mantengo un par de proyectos de código abierto populares, como Emotion, Redux Saga, ChangeSets, XState, obviamente, y también contribuyo a TypeScript de vez en cuando. Y me gustaría contarles hoy más sobre la inferencia de varias cosas a la vez con tipos de mapa inverso. Entonces, comencemos con un breve resumen de lo que realmente son los tipos de mapa. Entonces, son algo así como una función a nivel de tipo y aceptan una unión de claves, producen un tipo de objeto, y son muy útiles para la transformación del tipo de objeto. Se utilizan comúnmente para transformar los valores de las propiedades del objeto, pero desde TypeScript 4.1 también es posible transformar las claves de las propiedades del objeto. Entonces, en cierto sentido, solo tenemos nuestra x, nuestra entrada n, y la transformamos en nuestra y con cualquier transformación que la sintaxis de TypeScript nos permita. Entonces, veamos un breve ejemplo. Definimos que nuestra entrada es un tipo de objeto con dos propiedades, foo y bar, y ambas tienen tipos diferentes. Entonces, también definimos nuestro tipo de función. Este es solo identidad. Y podemos ver cómo se ve la sintaxis para ello. Ponemos en corchetes nuestra k. Eso es como nuestra i en un bucle for. Entonces, podemos usar eso para buscar esa propiedad en nuestro parámetro de tipo t y usar ese valor de alguna manera. Aquí, simplemente tomamos lo mismo y lo devolvemos. Ahora, podemos intentar llamarlo a nivel de tipo, y el punto es que deberíamos ser, deberíamos obtener realmente la misma cosa solo

2. Tipos de Mapa Inverso e Inferencia

Short description:

Echemos un vistazo a algo más útil en la práctica. Definimos una función a nivel de tipo llamada promiseify, que envuelve una clave de t con una función que devuelve una promesa de ese tipo. Los tipos de mapa inverso se ocupan de la transformación de X a Y, donde conocemos la transformación y la salida Y, e intentamos averiguar la entrada X. Esto es útil para la inferencia. Podemos definir objetos y proporcionar tipos contextuales para los tipos de parámetros utilizando funciones a nivel de tipo.

de vuelta. Entonces, podemos inspeccionar eso, y sí, este es exactamente el mismo tipo. Tal vez echemos un vistazo a algo un poco más útil en la práctica. Podemos definir otra función a nivel de tipo. Esta se llama promiseify, y hacemos algo muy similar. Iteramos sobre la clave de t con nuestra k, y simplemente envolvemos la k actual de t con una función que devuelve una promesa de ese tipo. Así que reutilizamos nuestro tipo de objeto anterior y lo tratamos como una especie de objeto RPC aquí. Ahora podemos intentar usarlo en runtime, podemos encadenar el método bar de él, y luego podemos ver que realmente podemos usarlo, por lo que es una promesa, y en el callback recibimos nuestro valor. Y al inspeccionar, podemos ver que esta propiedad bar es efectivamente una función que devuelve una promesa de número y val se resuelve con éxito a un tipo de número.

Entonces, ¿qué son los tipos de mapa inverso y cómo se relacionan con lo que acabamos de discutir? Así que con los tipos de mapa inverso, la situación es solo un poco diferente porque todavía tratamos con una transformación de X a Y. Pero esta vez está un poco invertido porque lo que sabemos es la transformación en sí y el resultado final, nuestra salida Y. Y lo que estamos tratando de averiguar es lo que obtuvimos como entrada para satisfacer esta transformación en Y. Así que intentamos averiguar cuál es nuestra entrada, cuál es nuestra X aquí. ¿Y para qué sirve esto realmente? Es útil para la inferencia. Kensi.s preguntó en Twitter cómo se puede hacer este tipo de cosas y esto inspiró esta charla. Así que echemos un vistazo a este ejemplo. Así que la pregunta aquí es cómo puede intentar definir un objeto y proporcionarle algún tipo contextual para los tipos de parámetros y esas diferentes claves para resolver a esas mismas claves. Entonces, en el método A, ¿cómo podemos resolver el nombre del parámetro a A y cómo podemos hacer lo mismo para B y cómo podemos resolver el nombre allí para ser. Así que esto realmente no se puede hacer con satisfies porque satisfies no participa en la inferencia y realmente no podemos crear un candidato para ello aquí pero podemos hacerlo con funciones así que veamos cómo podemos hacerlo aquí. Así que primero definamos una función a nivel de tipo satisfy name para parecerse a lo que teníamos en la diapositiva anterior y esta es esta misma operación iteramos sobre la clave de T con K y simplemente producimos una función que recibe K como su parámetro de nombre y puede devolver libremente cualquier cosa porque su tipo de retorno está tipado como void. Ahora, para utilizarlo realmente, necesitamos introducir una función, la llamamos satisfy object name y reutilizamos esa función a nivel de tipo que acabamos de declarar anteriormente. Y la parte complicada es que ahora aquí ese objeto literal que pasamos a la función satisfy object name es una especie de nuestra salida y necesitamos que el motor de inferencia de TypeScript tenga que revertir lo que podría ser la entrada para esto. Así que podemos ver que realmente puede hacer eso, como podemos resolver el rompecabezas de Kant y podemos resolver esas claves aquí para esos tipos de parámetros y podemos buscarlo en la función satisfyObjectName que efectivamente infirió con éxito algún objeto de entrada que si lo proporcionamos entre los corchetes angulares utilizados como un explícito parámetro de tipo podríamos pasar de este objeto a esta salida que hemos visto como un argumento pasado a la función satisfyObjectName. Continuemos con un ejemplo más avanzado de la función provideValue y de nuevo declaramos una función a nivel de tipo aquí y esta vez ponemos k de t en la propiedad val de toda esta plantilla de este tipo mapeado y también introducimos una nueva propiedad que es un cb que significa callback y usamos esa misma k de t aquí como en una función por lo que deberíamos ser capaces de resolver a lo que se ha utilizado como la propiedad val. Deberíamos ser capaces de usar eso como el tipo de parámetro para esta función y ahora podemos ver que efectivamente es capaz de averiguar que debería usar ese tipo específico de propiedad de valor para a y b las claves de nivel superior de este objeto de entrada y podemos ver que aquí fue capaz de comprimir todo este objeto en una forma más sencilla para responder de nuevo a la pregunta de qué podría ser la entrada para satisfacer toda esta operación de mapeo y para que esta salida sea producida aquí he resaltado aquí esos lugares aquí que fueron utilizados para crear este objeto de entrada y si echamos un vistazo a nuestra plantilla en el tipo mapeado veríamos que esos lugares se relacionan exactamente con nuestra plantilla y que TypeScript fue capaz de ingeniería inversa de alguna manera ese tipo de entrada. Continuemos con otro ejemplo. Esta vez declaramos algo, digamos, una entidad database, usuario que tiene tres propiedades, nombre, apellido y edad. De nuevo, definimos nuestra plantilla para nuestro tipo de mapa y aquí especificamos algunos requisitos para toda la transformación y la propiedad needs. Noten que esto puede ser cualquier cosa aquí, realmente no nos importa lo que será, lo usaremos de una manera específica pero en este punto está sin vincular y en realidad podría resolver a cualquier cosa. Pero lo que pongamos en esta propiedad needs será utilizado en la propiedad compute y esta vez elegimos del usuario objeto, clave de esta k de t que se resuelve a nuestra propiedad needs en este lugar muy específico y lo intersectamos con la clave del usuario. Este es un truco ingenioso para filtrar esas propiedades porque lo que pongamos en la propiedad needs deberían ser propiedades del usuario objeto de usuario. Así que al intersectar esos requisitos en la posición needs con las claves reales del usuario creamos un conjunto común de esas dos cosas por lo que es como filtrar en el mapa en el

Check out more articles and videos

We constantly think of articles and videos that might spark Git people interest / skill us up or help building a stellar career

Routing in React 18 and Beyond
React Summit 2022React Summit 2022
20 min
Routing in React 18 and Beyond
Top Content
Concurrent React and Server Components are changing the way we think about routing, rendering, and fetching in web applications. Next.js recently shared part of its vision to help developers adopt these new React features and take advantage of the benefits they unlock.In this talk, we’ll explore the past, present and future of routing in front-end applications and discuss how new features in React and Next.js can help us architect more performant and feature-rich applications.
TypeScript and React: Secrets of a Happy Marriage
React Advanced Conference 2022React Advanced Conference 2022
21 min
TypeScript and React: Secrets of a Happy Marriage
Top Content
TypeScript and React are inseparable. What's the secret to their successful union? Quite a lot of surprisingly strange code. Learn why useRef always feels weird, how to wrangle generics in custom hooks, and how union types can transform your components.
React's Most Useful Types
React Day Berlin 2023React Day Berlin 2023
21 min
React's Most Useful Types
Top Content
We don't think of React as shipping its own types. But React's types are a core part of the framework - overseen by the React team, and co-ordinated with React's major releases.In this live coding talk, we'll look at all the types you've been missing out on. How do you get the props type from a component? How do you know what ref a component takes? Should you use React.FC? And what's the deal with JSX.Element?You'll walk away with a bunch of exciting ideas to take to your React applications, and hopefully a new appreciation for the wonders of React and TypeScript working together.
Stop Writing Your Routes
Vue.js London 2023Vue.js London 2023
30 min
Stop Writing Your Routes
The more you keep working on an application, the more complicated its routing becomes, and the easier it is to make a mistake. ""Was the route named users or was it user?"", ""Did it have an id param or was it userId?"". If only TypeScript could tell you what are the possible names and params. If only you didn't have to write a single route anymore and let a plugin do it for you. In this talk we will go through what it took to bring automatically typed routes for Vue Router.
Making Magic: Building a TypeScript-First Framework
TypeScript Congress 2023TypeScript Congress 2023
31 min
Making Magic: Building a TypeScript-First Framework
I'll dive into the internals of Nuxt to describe how we've built a TypeScript-first framework that is deeply integrated with the user's IDE and type checking setup to offer end-to-end full-stack type safety, hints for layouts, middleware and more, typed runtime configuration options and even typed routing. Plus, I'll highlight what I'm most excited about doing in the days to come and how TypeScript makes that possible not just for us but for any library author.
Full-stack & typesafe React (+Native) apps with tRPC.io
React Advanced Conference 2021React Advanced Conference 2021
6 min
Full-stack & typesafe React (+Native) apps with tRPC.io
Top Content
Why are we devs so obsessed with decoupling things that are coupled nature? tRPC is a library that replaces the need for GraphQL or REST for internal APIs. When using it, you simply write backend functions whose input and output shapes are instantly inferred in your frontend without any code generation; making writing API schemas a thing of the past. It's lightweight, not tied to React, HTTP-cacheable, and can be incrementally adopted. In this talk, I'll give a glimpse of the DX you can get from tRPC and how (and why) to get started.

Workshops on related topic

React, TypeScript, and TDD
React Advanced Conference 2021React Advanced Conference 2021
174 min
React, TypeScript, and TDD
Top Content
Featured WorkshopFree
Paul Everitt
Paul Everitt
ReactJS is wildly popular and thus wildly supported. TypeScript is increasingly popular, and thus increasingly supported.

The two together? Not as much. Given that they both change quickly, it's hard to find accurate learning materials.

React+TypeScript, with JetBrains IDEs? That three-part combination is the topic of this series. We'll show a little about a lot. Meaning, the key steps to getting productive, in the IDE, for React projects using TypeScript. Along the way we'll show test-driven development and emphasize tips-and-tricks in the IDE.
Best Practices and Advanced TypeScript Tips for React Developers
React Advanced Conference 2022React Advanced Conference 2022
148 min
Best Practices and Advanced TypeScript Tips for React Developers
Top Content
Featured Workshop
Maurice de Beijer
Maurice de Beijer
Are you a React developer trying to get the most benefits from TypeScript? Then this is the workshop for you.In this interactive workshop, we will start at the basics and examine the pros and cons of different ways you can declare React components using TypeScript. After that we will move to more advanced concepts where we will go beyond the strict setting of TypeScript. You will learn when to use types like any, unknown and never. We will explore the use of type predicates, guards and exhaustive checking. You will learn about the built-in mapped types as well as how to create your own new type map utilities. And we will start programming in the TypeScript type system using conditional types and type inferring.
Deep TypeScript Tips & Tricks
Node Congress 2024Node Congress 2024
83 min
Deep TypeScript Tips & Tricks
Top Content
Workshop
Josh Goldberg
Josh Goldberg
TypeScript has a powerful type system with all sorts of fancy features for representing wild and wacky JavaScript states. But the syntax to do so isn't always straightforward, and the error messages aren't always precise in telling you what's wrong. Let's dive into how many of TypeScript's more powerful features really work, what kinds of real-world problems they solve, and how to wrestle the type system into submission so you can write truly excellent TypeScript code.
Practice TypeScript Techniques Building React Server Components App
TypeScript Congress 2023TypeScript Congress 2023
131 min
Practice TypeScript Techniques Building React Server Components App
Workshop
Maurice de Beijer
Maurice de Beijer
In this hands-on workshop, Maurice will personally guide you through a series of exercises designed to empower you with a deep understanding of React Server Components and the power of TypeScript. Discover how to optimize your applications, improve performance, and unlock new possibilities.
 
During the workshop, you will:
- Maximize code maintainability and scalability with advanced TypeScript practices
- Unleash the performance benefits of React Server Components, surpassing traditional approaches
- Turbocharge your TypeScript with the power of Mapped Types
- Make your TypeScript types more secure with Opaque Types
- Explore the power of Template Literal Types when using Mapped Types
 
Maurice will virtually be by your side, offering comprehensive guidance and answering your questions as you navigate each exercise. By the end of the workshop, you'll have mastered React Server Components, armed with a newfound arsenal of TypeScript knowledge to supercharge your React applications.
 
Don't miss this opportunity to elevate your React expertise to new heights. Join our workshop and unlock the potential of React Server Components with TypeScript. Your apps will thank you.
Advanced TypeScript types for fun and reliability
TypeScript Congress 2022TypeScript Congress 2022
116 min
Advanced TypeScript types for fun and reliability
Workshop
Maurice de Beijer
Maurice de Beijer
If you're looking to get the most out of TypeScript, this workshop is for you! In this interactive workshop, we will explore the use of advanced types to improve the safety and predictability of your TypeScript code. You will learn when to use types like unknown or never. We will explore the use of type predicates, guards and exhaustive checking to make your TypeScript code more reliable both at compile and run-time. You will learn about the built-in mapped types as well as how to create your own new type map utilities. And we will start programming in the TypeScript type system using conditional types and type inferring.
Are you familiar with the basics of TypeScript and want to dive deeper? Then please join me with your laptop in this advanced and interactive workshop to learn all these topics and more.
You can find the slides, with links, here: http://theproblemsolver.nl/docs/ts-advanced-workshop.pdf
And the repository we will be using is here: https://github.com/mauricedb/ts-advanced
Mastering Node.js Test Runner
TestJS Summit 2023TestJS Summit 2023
78 min
Mastering Node.js Test Runner
Workshop
Marco Ippolito
Marco Ippolito
Node.js test runner is modern, fast, and doesn't require additional libraries, but understanding and using it well can be tricky. You will learn how to use Node.js test runner to its full potential. We'll show you how it compares to other tools, how to set it up, and how to run your tests effectively. During the workshop, we'll do exercises to help you get comfortable with filtering, using native assertions, running tests in parallel, using CLI, and more. We'll also talk about working with TypeScript, making custom reports, and code coverage.