algebraic-data-types

12El calor

4Respuesta

Datos "dependientes opcionales" en Haskell

Considere un tipo de fecha y hora donde la fecha debe estar presente, pero la parte de tiempo en segundos es opcional. Si la parte de tiempo está allí, también puede haber una parte de milisegundos op

haskell algebraic-data-types 2012-04-13

---

40El calor

4Respuesta

¿Qué son las estructuras de datos de "sumas y productos"?

Un recent blog post on William Cook's Fusings menciona: El punto clave es que las estructuras en Enso son vistos de manera integral en forma de gráficos, no como valores individuales o estructuras de

data-structures programming-languages types type-systems algebraic-data-types 2011-05-06

---

6El calor

2Respuesta

Clojure tipos de datos algebraicos

He encontrado defadt macro en clojure.contrib.types. Desafortunadamente, no hay documentación útil sobre el uso de ADT en clojure. Busqué en Google durante horas y encontré pequeños fragmentos de info

clojure algebraic-data-types 2011-03-25

---

7El calor

1Respuesta

Recorrido recursivo de abajo hacia arriba de tipos de datos algebraicos

Al tratar con tipos de datos algebraicos considerables en Haskell, hay un recorrido recursivo particular no capturado al plegar sobre el tipo de datos. Por ejemplo, supongamos que tengo un tipo simple

haskell recursion fold algebraic-data-types 2011-02-05

---

16El calor

2Respuesta

¿Por qué los tipos de datos inductivos prohíben tipos como `datos Malo a = C (Malo a -> a)` donde el tipo de recursión ocurre frente a ->?

manual de Agda en Inductive Data Types and Pattern Matching estados: Para garantizar la normalización, las ocurrencias inductivos debe aparecer en posiciones estrictamente positivos. Por ejemplo, no s

haskell recursive-datastructures algebraic-data-types y-combinator agda 2012-09-29

---

7El calor

2Respuesta

Parametrizar tipos por enteros en Haskell

Estoy tratando de hacer algunos tipos de Haskell que están parametrizados no por tipos sino por elementos de un tipo, específicamente enteros. Por ejemplo, un vector (álgebra lineal) en R^2 y un vecto

haskell kdtree algebraic-data-types higher-kinded-types 2011-09-01

---

6El calor

4Respuesta

¿El concepto de tipo de datos algebraicos es similar a las definiciones de clase en los lenguajes OO?

Ambos conceptos permiten crear nuevos tipos de datos. La única diferencia que puedo ver es que en los lenguajes funcionales, se puede realizar la coincidencia de patrones en tipos de datos algebraicos

functional-programming algebraic-data-types 2012-05-09

---

6El calor

1Respuesta

aplicar una función a subestructuras de forma automática

Supongamos que estoy escribiendo una función de "sustituto" en un tipo de datos árbol de sintaxis abstracta: data Term = Id String | If Term Term Term | Let String Term Term ...

haskell recursion algebraic-data-types 2012-02-08

---

9El calor

2Respuesta

nombres ADT. ¿Qué es `Left a`, y luego, ¿qué es` a` en Haskell?

Si tengo una Haskell ADT tales como: data Foo = A Int Double | B Bool [Integer] | C (Maybe String) Float la A, B, y C se denominan constructores de datos; y a veces como constructores de valores

haskell functional-programming terminology algebraic-data-types 2011-11-01

---

13El calor

5Respuesta

Creando funciones sobre Enumeraciones

Acabo de empezar a aprender Haskell. Creo que tengo lo básico, pero quiero asegurarme de que realmente me obligo a pensar funcionalmente también. data Dir = Right | Left | Front | Back | Up | Down der

design haskell algebraic-data-types 2011-06-06

---