Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
the type constructor
Vertaling van "the type constructor" in Spaans
el constructor de tipo
al constructor de tipo
The difference between map and apply is that map takes a function as an argument, whereas the first argument to apply is wrapped in the type constructor f.
La diferencia entre map y apply es que map toma una función como argumento, mientras que el primer argumento de apply está envuelto en el constructor de tipo f.
This defines the type constructor Fn2 which takes three type arguments.
Define el constructor de tipo Fn2 que toma tres argumentos de tipo.
Note that just like function application, type constructors are applied to other types simply by juxtaposition: the type List Entry is in fact the type constructor List applied to the type Entry - it represents a list of entries.
Date cuenta de que al igual que la aplicación de función, los constructores de tipo se aplican a otros tipos simplemente por yuxtaposición: el tipo List Entry es de hecho el constructor de tipo List aplicado al tipo Entry, representa una lista de entradas.
In the Maybe example above, the type constructor f is Maybe, so that lift3 is specialized to the following type
En el ejemplo de Maybe anterior, el constructor de tipo f es Maybe, de manera que lift3 se especializa al siguiente tipo
In our case, the type constructor t is StateT String, and m is the Either String monad, so lift provides a way to lift computations of type Either String a to computations of type StateT String (Either String) a.
En nuestro caso, el constructor de tipo t es StateT String, y m es la monada Either String, de manera que lift proporciona una manera de elevar cálculos de tipo Either String a a cálculos de tipo StateT String (Either String) a.
The type constructor F is actually just a type synonym, defined in Data.Foreign
El constructor de tipo F es de hecho un sinónimo de tipo definido en Data.Foreign
When using type constructors and types from the XML Schema namespace, the prefix used in the namespace declaration must be used when calling the type constructor (for example, xs:date).
Cuando se usan constructores de tipo y tipos del espacio de nombres XML Schema, el prefijo utilizado en la declaración de espacio de nombres se debe usar en la llamada al constructor de tipo (por ejemplo, xs:date).
When using type constructors and types from the XML Schema namespace, the prefix used in the namespace declaration must be used when calling the type constructor (for example, xs:date).
Nota de resumen: si utiliza constructores o tipos del espacio de nombres de XML Schema, es necesario declarar el espacio de nombres de XML Schema en el documento XML y usar los prefijos del espacio de nombres correctos en la expresión XPath.
Here is another example of do notation, this type applied to the type constructor Maybe.
Aquí hay otro ejemplo de notación do, esta vez aplicado al constructor de tipo Maybe.
In Haskell's notation, the name of the monad represents the type constructor.
En la notación de Haskell, el nombre de la monada representa el tipo de constructor.
Synoniemen voor the type constructor in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 10. Verstreken tijd: 54 ms.
