sml

¿Qué diferencia a los dos dialectos de ML?

Voy a enseñar un curso de división inferior en estructuras discretas. He seleccionado el libro de texto Discrete Structures, ... * fac n De nuevo, esto coincide con una definición que podrían encontrar en el libro de texto. ¡No puedo hacer eso en SML!

He estado tratando de explicar la diferencia entre las sentencias switch y pattern matching(F#) a un par de personas, pero re ... as? EDITAR! Gracias a todos por las grandes respuestas, realmente me gustaría poder marcar múltiples respuestas correctas.

Empiezo a aprender ML Estándar, y ahora trato de usar ML Estándar del compilador de Nueva Jersey. Ahora puedo usar loop inte ... pero no tiene ejemplos claros. También, hay otro compilador SML (que permite la creación binaria independiente) disponible?

Mi programa (Hartree-Fock/iterative SCF) tiene dos matrices F y F' que son realmente la misma matriz expresada en dos bases d ... nían la misma matriz que sus segundos parámetros. Hace eso sentido? Editar: definición en Wikipedia, ejemplos trabajados

¿Puede alguien explicar, por favor, qué significa esta advertencia? stdIn:18.35 Warning: calling polyEqual Y por qué ten ... d(v, []) = false | alreadyVisited(v, x::xs) = if(x=v) then true else alreadyVisited(v, xs); Gracias de antemano

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?