Resultados de la búsqueda a petición "typeclass"
Lista de elementos de tipos restringidos por typeclass
Estoy tratando de codificar una lista de elementos que tienen tipos restringidos para ser instancias de alguna clase de tipo: {-# LANGUAGE RankNTypes, TypeSynonymInstances, LiberalTypeSynonyms #-} module Test where class Someable a where some ...
¿Se pueden usar rasgos en D para las clases de tipos?
Soy nuevo en D, y estoy buscando una buena manera de programar con clases tipo Haskell, p. Ej. Functores, monoides, etc. en D. Se implementa algo como esto en Tango o Phobos? He oído sobre rasgos que permiten la verificación de tipos en ...
Interfaz de Java y clase de tipo de Haskell: ¿diferencias y similitudes?
Mientras estoy aprendiendo Haskell, noté que estype class, que se supone que es un gran invento que se originó en Haskell. Sin embargo, enla página de Wikipedia sobre la clase de tipo [http://en.wikipedia.org/wiki/Type_class]: l programador ...
Cuál es la convención de nomenclatura para las clases de tipos en Scala?
En el mundo Java, las convenciones de nomenclatura para las interfaces están bastante bien establecidas. Por ejemplo, cuando dice que cierta clase implementa la interfazComparable, puedes decir que sus objetos son comparables. Sin embargo, las ...
nstancias de clase de tipo @Writing para clases anidadas en Scala
Inesta pregunta reciente de desbordamiento de pila [https://stackoverflow.com/questions/7699831/turning-a-list-sequence-of-combinator-parsers-into-a-single-one] , el autor quería cambiar una lista de analizadores de algún tipo en un analizador ...
Cómo crear una instancia de Leer para un tipo de datos en haskell
Así que tengo un tipo de datos data SomeType a = Type a | Mix (SomeType a) (SomeType a) Esta es mi instancia de show para SomeType instance (Show a) => Show (SomeType a) where show (Type a) = show a show (Mix a b) = "(" ++ show a ++ " " ++ show ...
¿Cuál es la diferencia entre tipo y tipo de datos en Haskell?
Estoy un poco confundido sobre la diferencia entre untip y untipo de dato en Haskell. e la literatura que he encontrado, tuve la impresión de que eran conceptos diferente
¿Cómo construir una jerarquía de clases en Coq?
Puedo ingenuamente construir una jerarquía de estructuras algebraicas en Coq usando clases de tipos. Tengo problemas para encontrar recursos sobre la sintaxis y la semántica de Coq para las clases de tipos. Sin embargo, creo que lo siguiente es ...
Declare que todas las instancias de una clase de tipos están en otra clase de tipos sin modificar las declaraciones de clase originales
Hay una API Crypto.Random dentro del paquete crypto-api que especifica lo que significa que algo sea un "generador de números pseudoaleatorios". He implementado esta API utilizando una instancia de la clase RandomGen de System.Random, a saber, ...
¿Por qué fueron difíciles de implementar las clases de tipos?
En la diapositiva 30/78 deest [http://www.slideshare.net/nushio/peyton-jones2011type-classes] presentación, Simon sugiere que la implementación de clases tipográficas fue una "desesperación" al principio. ¿Alguien sabe por qué fue eso?