Preguntas etiquetadas con typing

Actualmente estoy terminando mi maestría en informática. Estoy interesado en lenguajes de programación, especialmente en sistemas de tipos. Me interesé en la investigación en este campo y el próximo semestre comenzaré un doctorado sobre el tema. Ahora aquí está la verdadera pregunta: ¿cómo puedo explicar lo que (quiero) hacer a …

64 programming-languages  education  typing  research 

A menudo escucho que el polimorfismo de fila es un enfoque mejor que el subtipo, pero tengo dificultades para encontrar algo que los compare en detalle. Estoy especialmente interesado en la perspectiva de un usuario del sistema. Me encontré con esta publicación de blog, pero me deja con más preguntas …

20 typing 

Me gustaría saber si un tipo universalmente cuantificado : T a = ∀ X : { a ∈ X , f : X → { T , F } } es un subtipo o caso especial, de un caso cuantificado existencialmente escriba T e con la misma firma: T e …

20 logic  type-theory  typing 

Nuestro profesor nos pidió que pensáramos en una función en OCaml que tenga el tipo 'a -> 'b es decir, una función de un argumento que podría ser cualquier cosa, y que puede devolver una cosa diferente. Pensé en usar raiseuna función que ignora su argumento: let f x = …

19 programming-languages  typing  functional-programming 

Estoy leyendo sobre el algoritmo de mecanografía Hindley-Milner mientras escribo una implementación, y veo que, siempre que todas las variables estén vinculadas, siempre obtendrás tipos atómicos o tipos donde los argumentos determinarán el tipo final, como t1 -> t1o (t1 -> t2) -> (t1 -> t2)donde t1y t2son variables de …

14 lambda-calculus  type-theory  typing  type-inference 

Estoy trabajando en un lenguaje basado en expresiones de genealogía ML, por lo que naturalmente necesita inferencia de tipos> :) Ahora, estoy tratando de extender una solución basada en restricciones al problema de inferir tipos, basada en una implementación simple en EOPL (Friedman y Wand), pero ellos eligen elegantemente los …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

¿Es posible usar tipos dependientes en la implementación existente de Typed Racket ? (es decir, ¿existen en él?) ¿Es razonablemente posible implementar un sistema de tipos dependientes usando Typed Racket?

9 programming-languages  typing  type-checking  dependent-types  lisp 

Estoy aprendiendo programación en ML (OCaml), y antes pregunté sobre las funciones de tipo ML'a -> 'b . Ahora he estado experimentando un poco con funciones de tipo 'a list -> 'b list. Hay algunos ejemplos simples obvios: let rec loop l = loop l let return_empty l = [] …

8 programming-languages  typing  functional-programming