Preguntas etiquetadas con type-inference


1
¿Cuáles son los problemas prácticos con los tipos de intersección y unión?
Estoy diseñando un lenguaje de programación funcional simple mecanografiado como una experiencia de aprendizaje. Parece que el sistema de tipos que he implementado hasta ahora podría (con un poco de trabajo extra) incorporar tipos de intersección y unión, por ejemplo, podría tener: <Union String Integer> <Union Integer Foo> La intersección …



2
Subtipos como subconjuntos de tipos de datos SML
Una de las pocas cosas que no me gustan del libro de Okasaki sobre estructuras de datos puramente funcionales es que su código está plagado de una inagotable coincidencia de patrones. Como ejemplo, le daré su implementación de colas en tiempo real (refactorizadas para eliminar suspensiones innecesarias): infixr 5 ::: …

3
Inferencia de tipo para declaraciones imperativas distintas de la asignación
En mi búsqueda de trabajos de investigación sobre sistemas de tipos para lenguajes imperativos, solo encuentro soluciones para un lenguaje con referencias mutables pero sin estructuras de control imperativo genuinas como operadores compuestos, bucles o condicionales. Por lo tanto, no está claro cómo se puede implementar un lenguaje imperativo con …





Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.