Resultados de la búsqueda a petición "sml"
Diferencia entre "local" y "let" en SML
No pude encontrar una respuesta amigable para principiantes sobre cuál es la diferencia entre las palabras clave "local" y "let" en SML. ¿Podría alguien dar un ejemplo simple y explicar cuándo se usa uno sobre el otro?
¿Cómo hacer bit a bit Y en SML / NJ?
Lo necesito para un programa que estoy escribiendo (cuadratura repetida para calcular x ^ n). Parece que no puedo encontrar la sintaxis para ello, o si incluso es compatible.
Tipos de datos perezosos en el objetivo C
En SML, lo siguiente es posible para modelar la programación diferida, // Have a datatype to wrap a computation datatype 'a susp = Susp of (unit -> 'a) // A function to hold the computation fun delay(f ) = Susp(f) Sé que los cierres se pueden ...
La salida se trunca con # -signs en REPL
Escribí una función que funciona como se esperaba, pero no entiendo por qué la salida es así. Función:datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop; (* XOR = (A And Not B) OR (Not A Or B) *) local fun ...
¿Cuándo usar punto y coma en SML?
Sé que los puntos y coma se utilizan como terminadores en REPL. Pero estoy confundido acerca de cuándo usarlos en un archivo fuente.Por ejemplo, no es necesa...
¿Cómo decidir si se debe parametrizar a nivel de tipo o de módulo al diseñar módulos?
Estoy trabajando para lograr una comprensión profunda de los módulos de estilo ML: creo que el concepto es importante y me encanta el tipo de pensamiento que fomentan. Ahora estoy descubriendo la tensión que puede surgir entre los ...
¿Cómo instalo una versión funcional de Standard ML en Mac?
Estoy usando Mac OSX 10.7.5 y parece que no puedo descargar un compilador Standard ML con un REPL disponible. ¿Se supone que esto es tan difícil? ¿Hay un mej...
Sml doblando un árbol
Estoy tratando de obtener el producto de un árbol usando la función de plegado hasta ahora, esto es lo que tengo. Estoy confundido sobre cómo usar el método de plegado al cruzar el árbol datatype 'a bin_tree = Leaf of 'a | Node of 'a bin_tree * ...