Preguntas etiquetadas con type-systems

¿Cuáles son las ventajas y limitaciones de los lenguajes de tipo dinámico en comparación con los lenguajes de tipo estático? Ver también : ¿qué pasa con el amor por los lenguajes dinámicos (un hilo mucho más argumentativo ...)

205 programming-languages  dynamic-languages  type-systems 

¿Cuál es la diferencia cuando escribo esto? data Book = Book Int Int versus newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

Leí el artículo de Wikipedia Tipos existenciales . Supuse que se llaman tipos existenciales debido al operador existencial (∃). Sin embargo, no estoy seguro de cuál es el punto. Cuál es la diferencia entre T = ∃X { X a; int f(X); } y T = ∀x { X a; …

171 language-agnostic  types  type-systems  existential-type 

He visto varias fuentes hacerse eco de la opinión de que "Haskell se está convirtiendo gradualmente en un lenguaje de tipo dependiente". La implicación parece ser que con más y más extensiones de lenguaje, Haskell se está desviando en esa dirección general, pero aún no está allí. Básicamente hay dos …

161 haskell  type-systems  dependent-type 

Veo este código en este blog: Programación de nivel de tipo en Scala : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type …

131 scala  type-systems 

Los tipos de métodos dependientes, que solían ser una característica experimental antes, ahora se han habilitado por defecto en el tronco , y aparentemente esto parece haber creado algo de emoción en la comunidad Scala. A primera vista, no es inmediatamente obvio para qué esto podría ser útil. Heiko Seeberger …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

He oído que Scala tiene tipos dependientes de la ruta. Tiene algo que ver con las clases internas, pero ¿qué significa esto realmente y por qué me importa?

125 scala  type-systems  path-dependent-type 

Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Quiero hacer Stringuna instancia de Fooable: instance Fooable String where toFoo = FooString GHC luego se queja: Illegal instance declaration for `Fooable String' (All instance …

85 haskell  ghc  typeclass  type-systems 

Me las arreglé para entender la definición de la clase. MonadReader class Monad m => MonadReader r m | m -> r where ... Después de leer el documento de Dependencia funcional en Haskell, ahora puedo entender que | m -> respecifica que la variable de tipo rse decide de …

8 haskell  monads  ghc  type-systems