ml

¿Qué diferencia a los dos dialectos de ML?

En 'Practical type inference for arbitrary-rank types' , los autores hablan de subsunción : Trato de probar las cosas e ... , me preocupa que he malinterpretado algo. En caso de que este tipo de comprobación? ¿Están equivocados mis tipos de Haskell?

Noté que, entre los programadores de OCaml que conozco, algunos de ellos siempreusan variantes polimórficas (variantes que n ... lmente de manera menos eficiente que las variantes simples), ¿cómo eligen entre ellas los desarrolladores expertos de OCaml ?

Tengo que escribir algún código en ML y es la primera vez que voy a usar el lenguaje. ¿Hay algún Entorno de Desarrollo para M ... dores simples para Linux (a lo sumo con una consola interactiva), pero no IDE ni Eclipse/NetBeans plugin. Alguna sugerencia ?

Alguien una vez me mostró un pequeño 'truco' en SML donde escribieron alrededor de 3 o 4 funciones en su REPL y el tipo resul ... e página largos). ¿Alguien sabe qué código genera un tipo tan largo, o si hay un nombre para este tipo de comportamiento?

He visto muchos ejemplos en lenguajes funcionales sobre el procesamiento de una lista y la construcción de una función para h ... gunta entonces es solo acerca de lenguajes estrictos como Scheme (al menos la implementación de Racket, donde lo probé) y ML.