Resultados de la búsqueda a petición "typeclass"
Restringir una mónada a una clase de tipo
En Haskell, ¿hay alguna manera de restringir una mónada?M a así que esoa satisfacer una restricción de clase de tipo? Estoy traduciendo elejemplo de modelado ...
¿Por qué este código usando UndecidableInstances compila y luego genera un bucle infinito de tiempo de ejecución?
Al escribir un código usandoUndecidableInstances antes, me encontré con algo que me pareció muy extraño. Me las arreglé para crear involuntariamente un código que comprueba cuando creía que no debería: {-# LANGUAGE FlexibleInstances #-} {-# ...
¿Por qué sum x y es de tipo (Num a) => a -> a -> a en Haskell?
He estado leyendo sobre Haskell y me cuesta entender cómo se manejan las definiciones de funciones en este lenguaje. Digamos que estoy definiendo unsum función: let sum x y = x + ysi le pregunto a Haskell por su tipo :t sumyo obtengo sum :: ...
¿Cómo funciona la derivación en Haskell?
AlgebraicoTipos de datos (ADT) en Haskell pueden convertirse automáticamente en instancias de algunostypeclasses (comoShow, Eq) porderivando de ellos. data Maybe a = Nothing | Just a deriving (Eq, Ord)Mi pregunta es, ¿cómo funciona esto?deriving ...
nulo en lugar de ==
Acabo de empezar a aprender Haskell por interés. Yo sigolearnyouahaskell.com [http://learnyouahaskell.com]. Ahí encontré esto: null comprueba si una lista está vacía. Si es así, vuelveTruede lo contrario, vuelveFalse. Use esta función en lugar ...
¿Qué logra el patrón Aux en Scala?
Tengo un poco de sentido del patrón Auxiliar (como se usa sin forma y en otros lugares) en el que un miembro de tipo se extrae en un parámetro de tipo, y sé que es una solución el hecho de que los argumentos en la misma lista de argumentos no ...
Papel de la dependencia funcional en la clase de tipo `Unfoldable` de Haskell Collection API
Estoy tratando de entender el diseño de Haskell'sData.Collection [https://hackage.haskell.org/package/collections-api-1.0.0.0/docs/Data-Collections.html] biblioteca, proveniente de un fondo alfabetizado en Scala. UsaDependencias Funcionales ...
¿Cómo traduciría una clase de tipo Haskell a F #?
Estoy tratando de traducir las flechas de la biblioteca principal de Haskell a F # (creo que es un buen ejercicio para comprender mejor las flechas y F #, y podría usarlas en un proyecto en el que estoy trabajando). Sin embargo, una traducción ...
¿Cómo pueden las instancias indecidibles realmente colgar el compilador?
Para cuando leí por primera vez en seriocrítica a-XUndecidableInstances [https://lukepalmer.wordpress.com/2008/04/08/stop-using-undecidable-instances/], Ya me había acostumbrado por completo, viéndolo simplementeeliminación de una restricción ...
En Idris, ¿es "Eq a" un tipo y puedo proporcionarle un valor?
En el siguiente,example1 es la sintaxis estándar (como se documenta), conEq a como una restricción Enexample2EspecificoEq a directamente como el tipo de un parámetro, y el compilador lo acepta. Sin embargo, no está claro qué puedo especificar ...