type-systems

38El calor

6Respuesta

Pequeños y buenos proyectos de scala para aprender scala, especialmente programación funcional y sistema de tipos

He estudiado scala durante varios meses, pero aún en el nivel de principiante. Ahora descubrí que tengo un gran problema con la programación funcional y el sistema de tipos de Scala. Intenté encontrar

9El calor

2Respuesta

Nombre de enlace en tipo de firma usando DataKind

Por lo tanto, finalmente encontré una tarea donde podría hacer uso de la nueva extensión DataKinds (usando ghc 7.4.1). Aquí está el Vec que estoy usando: data Nat = Z | S Nat deriving (Eq, Show) dat

6El calor

1Respuesta

¿Por qué (a, a) no es un funtor?

Duplicar posible: Making (a, a) a Functor me escribió la siguiente implementación de la clasificación rápida: import Data.List (partition) quicksort [] = [] quicksort (x:xs) = let (smaller, n

6El calor

1Respuesta

No se puede asignar en HList

Estaba tratando de resolver this problem con informe. Sin embargo, por alguna razón no puedo hacer un mapa en el HList. Dejaré que el código hable por sí mismo. import shapeless._ import HList._ ca

5El calor

1Respuesta

¿Cómo usar Incompatibilidades Indecibles localmente?

Sí, sé que UndecidableInstances puede ser malo. Realmente esforzado por diseñar mi módulo de modo que no lo necesita sin embargo tengo algo como esto: instance Foo x (C x y) => Bar (C x y) where

6El calor

1Respuesta

Mensaje equivalente a los tipos de métodos dependientes

Gracias a la publicación this me estoy familiarizando con los tipos de métodos dependientes. Tengo una estructura similar a la siguiente trait Environment{ type Population <: PopulationBase

94El calor

4Respuesta

¿Qué significa el operador `#` en Scala?

que ver este código en este blog: Type-Level Programming in Scala: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition

26El calor

2Respuesta

Cómo aprender agda

Estoy tratando de aprender agda. Sin embargo, tengo un problema. Todos los tutoriales que encontré en agda wiki son demasiado complejos para mí y cubren diferentes aspectos de la programación. Después

5El calor

2Respuesta

¿Por qué los nombres forman un tipo y no solo un tipo?

Hace algún tiempo en una de las extensiones de Haskell (no se puede encontrar el enlace), y recently in Ur Encontré que los nombres (por ejemplo, de los campos de registro) forman una especie. ¿Alguie

9El calor

3Respuesta

¿Cómo el lenguaje C# evita que los genéricos sean covariables a menos que no contengan ningún método que requiera T como entrada?

He estado leyendo sobre los cambios que traerá .NET4.5, y en el blog this tropecé con algo que ni sabía ni entendía. Cuando se habla de la puesta en práctica de las colecciones de sólo lectura, Immo L