functional-dependencies

7El calor

2Respuesta

¿Cuál es la "condición de cobertura"?

En la fuente para el transformador de Estado en MTL, que establece -- --------------------------------------------------------------------------- -- Instances for other mtl transformers -- -- All o

haskell functional-dependencies 2012-08-14

---

6El calor

2Respuesta

Haskell: ejemplos no evidentes de dependencias funcionales

Los ejemplos de dependencias funcionales que he visto se reducen a la asignación container -> element y arguments -> result (como en Mult Matrix Vector Vector). Parecen estar mejor expresados ​​con fu

haskell functional-dependencies 2010-07-31

---

5El calor

1Respuesta

Cómo evitar la condición de cobertura de las dependencias funcionales sin usar -XUndecidableInstances

Wen usando dependencias funcionales, con frecuencia llego al Condición de cobertura. Es posible levantarlo con UndecidableInstances, pero generalmente trato de mantenerme alejado de esa extensión. Aqu

haskell ghc functional-dependencies type-families 2012-01-31

---

11El calor

2Respuesta

instancia clase de tipos de dependencias funcionales no funciona

Jugando con las clases de tipo I ocurrió la aparentemente inocente class Pair p a | p -> a where one :: p -> a two :: p -> a Esto parece funcionar bien, por ejemplo, instance Pair [a] a wh

haskell typeclass functional-dependencies 2011-12-16

---

11El calor

6Respuesta

Dependencia funcional y normalización

Estoy tratando de encontrar un gran recurso para estudiar la dependencia funcional y la normalización. ¿Alguien tiene alguna idea de dónde debo buscar? ¿Tengo dificultades para diferenciar si un FD es

database normalization functional-dependencies 2010-11-16

---

7El calor

1Respuesta

Haskell: barajando datos sin dependencias funcionales

Estoy tratando de implementar una mezcla de algunos datos de Fisher-Yates. Este algoritmo es fácil de implementar para matrices unidimensionales. Sin embargo, necesito poder mezclar los datos en una m

haskell random functional-dependencies type-families 2011-12-22

---

15El calor

6Respuesta

Cómo evitar la explosión cuadrática de instancias de clase de tipo?

considerar: {-# OPTIONS -fglasgow-exts #-} data Second = Second data Minute = Minute data Hour = Hour -- Look Ma', a phantom type! data Time a = Time Int instance Show (Time Second) where

haskell typeclass functional-dependencies 2011-12-22

---

13El calor

2Respuesta

conflicto de dependencia funcional de Haskell

¿Por qué esto provoca un conflicto? class Foo a b | b -> a where foo :: a -> b -> Bool instance Eq a => Foo a a where foo = (==) instance Eq a => Foo a (a -> a) where foo x f = f x

haskell functional-dependencies 2011-09-15

---

5El calor

1Respuesta

Dependencia funcional en Haskell

No puedo entenderlo. ¿Por qué lo necesitamos en absoluto? Quiero decir, si uso el mismo parámetro de tipo, creo que eso significa que deberían ser del mismo tipo. Escuché que puede ayudar al compilado

haskell types typeclass type-systems functional-dependencies 2010-11-25

---

5El calor

3Respuesta

F # registros/repositorios de la estructura de la aplicación, etc.

Poco a poco voy cambiando a F # para muchos de mis proyectos en el hogar, pero estoy un tanto perplejo en cuanto a cómo unir aplicaciones completas y, más particularmente, cuestiones transversales. En

architecture f# functional-dependencies 2011-09-20

---