¿Cuáles son las principales dificultades teóricas para agregar módulos de ML a Haskell?

Question

Es bien sabido que las clases de tipo Haskell y los módulos ML-style ofrecen diferentes mecanismos para especificar las interfaces . Son (posiblemente) equivalentes en poder, pero en la práctica cada uno tiene sus propios beneficios y desventajas.

Como soy un poco inclusista en lo que respecta a las características del lenguaje, mi pregunta es esta: ¿Cuáles son las principales dificultades teóricas con la adición de módulos ML-style a Haskell? Estoy interesado en las respuestas a lo largo de las siguientes líneas:

• Qué tipo de características del sistema existentes interactúan poco con módulos de estilo ML? (Un ejemplo de interacción deficiente es GADT y dependencias funcionales, ¡aunque las fundeps son técnicamente equivalentes a los tipos asociados!)

• ¿Qué cosas se deben abandonar en el compilador para compilar módulos ML-style?

• ¿Cómo interactúan los módulos de estilo ML con la inferencia de tipos?

Lectura relacionada:

• Robert Harper’s post that provoked this question
• Discussion on Haskell Reddit

Answer 1

El principal lugar de hacer la comparación es,

• ML Modules and Haskell Type Classes: A Constructive Comparison . Stefan Wehr y Manuel M.T. Chakravarty. En Actas del Sexto Simposio ASIAN sobre Lenguajes y Sistemas de Programación - APLAS 2008, Springer-Verlag, LNCS, 2008.

• Modular Type Classes. Derek Dreyer, Robert Harper y Manuel M. T. Chakravarty. En Actas de la 34ª Annual ACM SIGPLAN - Simposio SIGACT sobre los principios de lenguajes de programación, ACM Press, 2007.

• First class modules for Haskell, Mark Shields y Simon Peyton Jones. Presentado a la Novena Conferencia Internacional sobre Fundamentos de Lenguajes Orientados a Objetos (FOOL 9), Portland, Oregon. 20 páginas. Octubre 2001.

realidad no estoy al tanto de cualquier problema teórico - al menos, se han hecho propuestas concretas (e implementado en prototipos) - los Escudos y papel PJ tienen mucho de los detalles. La carga de implementación, sin embargo, no es trivial.

Answer 2

No creo que haya ningún problema teórico importante. Tendría que tomar una decisión sobre los funtores aplicativos o no. Aplicativo es probablemente más en el estilo Haskell. Pero creo que cualquier intento de agregar módulos de estilo ML a Haskell será grotesco debido a la superposición entre módulos y clases; Habrá dos formas de hacer muchas cosas.

Answer 3

Simon PJ ha argumentado que los módulos de estilo ML tienen una baja relación potencia/costo, que son difíciles de implementar. Ver SPJ's slides from POPL 2003 (hacia el final). También pide un diseño que tenga una mejor relación costo/potencia pero no conozco ninguna propuesta de este tipo.