Preguntas etiquetadas con algebraic-data-types

La expresión 'algebraica' para los tipos de datos algebraicos parece muy sugerente para alguien con experiencia en matemáticas. Déjame intentar explicar lo que quiero decir. Habiendo definido los tipos básicos Producto • Unión + único X Unidad 1 y usando la taquigrafía X²para X•Xy 2Xpara X+Xetcétera, podemos definir expresiones algebraicas …

289 haskell  functional-programming  algebraic-data-types  miranda 

Es bastante fácil representar un árbol o una lista en Haskell utilizando tipos de datos algebraicos. Pero, ¿cómo harías para representar tipográficamente un gráfico? Parece que necesitas tener punteros. Supongo que podrías tener algo como type Nodetag = String type Neighbours = [Nodetag] data Node a = Node a Nodetag …

125 haskell  types  graph  functional-programming  algebraic-data-types 

¿Cómo puedo encontrar la cantidad real de memoria requerida para almacenar un valor de algún tipo de datos en Haskell (principalmente con GHC)? ¿Es posible evaluarlo en tiempo de ejecución (por ejemplo, en GHCi) o es posible estimar los requisitos de memoria de un tipo de datos compuesto a partir …

124 haskell  memory-management  ghc  algebraic-data-types 

La seasonfunción usa funciones algebraicas pero siento que el código es repetitivo. ¿Cómo lo hago lo más corto posible? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring …

12 haskell  algebraic-data-types