Vertaling van "monada eff" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
La biblioteca purescript-react usa la monada Eff para describir cómo gestionar estos eventos.
The purescript-react library uses the Eff monad to describe how to handle these events.
Tampoco usamos la estructura de la monada Eff para nada.
Nor do we make use of the structure of the Eff monad at all.
Fíjate en que a las retrollamadas les damos tipos que usan la monada Eff para registrar sus efectos.
Notice that the callbacks themselves are given types which use the Eff monad to track their effects.
Hemos visto cómo la monada Eff soporta efectos extensibles, y cómo múltiples tipos de efectos nativos se pueden intercalar en el mismo cálculo.
We saw how the Eff monad supports extensible effects, and how multiple types of native effect can be interleaved into the same computation.
Se ha definido el concepto de efectos nativos, y hemos conocido la monada Eff, que se usa para gestionar efectos secundarios nativos.
The concept of native effects was defined, and we met the Eff monad, which is used to handle native side-effects.
Además, podemos usar la monada Eff para restringir qué tipo de efectos secundarios puede tener main, de manera que podemos decir con exactitud, por ejemplo, que nuestra aplicación interactuará con la consola, pero nada más.
In addition, we can use the Eff monad to restrict what types of side-effects main is allowed to have, so that we can say with certainty for example, that our application will interact with the console, but nothing else.
Vimos también una demostración práctica de muchas de las técnicas que ya habíamos aprendido: asociaciones y pliegues, registros y polimorfismo de fila, y la monada Eff para gestionar efectos secundarios.
We also saw a practical demonstration of many of the techniques we have learned already: maps and folds, records and row polymorphism, and the Eff monad for handling side-effects.
En las secciones finales de este capítulo, aplicaremos lo que hemos aprendido sobre efectos en la monada Eff al problema de trabajar con el DOM.
In the final sections of this chapter, we will apply what we have learned about effects in the Eff monad to the problem of working with the DOM.
Si usamos ContT para transformar la monada Eff, podemos realizar cálculos en paralelo simplemente iniciando nuestros dos cálculos uno tras otro.
If we are using ContT to transform the Eff monad, then we can compute in parallel simply by initiating our two computations one after the other.
Conclusión Este capítulo ha sido una demostración práctica de las técnicas que hemos aprendido hasta ahora, usando transformadores de monadas para construir una especificación pura de nuestro juego, y la monada Eff para construir una interfaz de usuario usando la consola.
11.18 Conclusion This chapter was a practical demonstration of the techniques we've learned so far, using monad transformers to build a pure specification of our game, and the Eff monad to build a front-end using the console.
Hemos usado la monada Eff para gestionar una variedad de efectos: generación de números aleatorios, excepciones, entrada/salida por consola, estado mutable, y manipulación del DOM usando React.
We used the Eff monad to handle a variety of effects: random number generation, exceptions, console IO, mutable state, and DOM manipulation using React.
Para nuestros propósitos, React proporciona un ejemplo práctico de la monada Eff.
For our purposes, React will provide a practical example of the Eff monad.
El paquete purescript-node-readline proporciona el tipo LineHandler, que representa acciones en la monada Eff que gestionan entrada de usuario de la terminal.
The purescript-node-readline package provides the LineHandler type, which represents actions in the Eff monad which handle user input from the terminal.
