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...
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...
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 = raise Exit Pero el...
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 ->...
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),...
¿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
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 = [] let rec...