No pudimos encontrar esta entrada. Mostrando resultados aproximados. Revisa la ortografía o propón añadir este término al diccionario.
PureScript's
Veamos otro ejemplo de las bibliotecas estándar de PureScript.
Let's see another example from PureScript's standard libraries.
También cubriremos algunas funciones estándar de las bibliotecas estándar de PureScript.
We will also cover some standard functions from PureScript's standard libraries.
Los tipos de PureScript son expresivos, permitiendo al desarrollador hacer afirmaciones sólidas sobre sus programas.
PureScript's types are expressive, allowing the developer to assert strong claims about their programs.
Este capítulo presentará una poderosa forma de abstracción disponible en el sistema de tipos de PureScript: las clases de tipos.
This chapter will introduce a powerful form of abstraction which is enabled by PureScript's type system - type classes.
La primera propiedad se parece bastante a una ley para una clase de tipos, mientras que la segunda propiedad es más bien un contrato informal y ciertamente no sería realizable con el sistema de tipos de PureScript.
The first property looks a lot like a law for a type class, whereas the second property is more along the lines of an informal contract, and certainly would not be enforceable by PureScript's type system.
Más importante, el sistema de tipos de PureScript soporta inferencia de tipos requiriendo muchas menos anotaciones de tipo explícitas que otros lenguajes, convirtiendo el sistema de tipos en una herramienta en lugar de en un estorbo.
Most importantly, PureScript's type system supports type inference - it requires far fewer explicit type annotations than other languages, making the type system a tool rather than a hindrance.
Esto ilustra un punto interesante acerca de los efectos basados en fila de PureScript: los efectos que aparecen dentro de las filas no tienen por qué ser singletons simples, sino que pueden tener estructura interesante, y esta flexibilidad permite algunas restricciones útiles en tiempo de compilación.
This illustrates an interesting point about PureScript's row-based effects: effects appearing inside rows need not be simple singletons, but can have interesting structure, and this flexibility enables some useful restrictions at compile time.
La FFI de PureScript está diseñado para ser muy flexible.
PureScript's FFI is designed to be very flexible.
El Prelude de PureScript contiene un conjunto interesante de ejemplos de tipos externos.
PureScript's Prelude contains an interesting set of examples of foreign types.
Hemos visto ya que los registros de PureScript se evalúan a objetos JavaScript.
We've already seen that PureScript's records evaluate to JavaScript objects.
Este código presentará algunas nuevas ideas de la sintaxis de PureScript.
This code will introduce some new ideas from the syntax of PureScript.
Las instrucciones están disponibles en el sitio web de PureScript.
Instructions can be found on the PureScript website.
El compilador de PureScript también genera funciones auxiliares.
The PureScript compiler also generates helper functions.
Contenido potencialmente sensible o inapropiado
Los ejemplos se utilizan solo para ayudarte a traducir la palabra o expresión en diversos contextos. Nosotros no los seleccionamos ni los validamos y pueden contener términos o ideas inapropiados. Infórmanos sobre este tipo de ejemplos para que sean editados o dejen de mostrarse. Las traduccciones potencialmente sensibles, inapropiadas o coloquiales suelen estar marcadas con rojo o con naranja.
