Resultados de la búsqueda a petición "sml"
construyendo un analizador léxico usando ml-lex
Necesito crear una nueva instancia de unlexer atado al flujo de entrada estándar. Sin embargo, cuando escribo val lexer = makeLexer( fn n => inputLine( stdIn ) );Me sale un error que no entiendo: stdIn:1.5-11.13 Error: operator and operand ...
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 ...
declaraciones locales anidadas en ML de NJ
hola a todos tengo este fragmento del código: local helper(f, i, j) = local fun NTimesF(f, n:int) = if n = 1 then fn (x) => f(x) else fn (x) => f(NTimesF(f, n - 1)(x)); in if(i <= j) then NTimesF(f, i) :: helper(f, (i+1), j) else [] end in fun ...
Ayuda sml - problemático
Cómo declarar una función para Listn: '' una lista -> '' una lista -> bool, listn xs e ys devuelven verdadero. Ejemplo: lisen [# "1" # "2"], [# "1" "# 3"] devuelve falso y [# "1", # "2"] [# "2", # "1"] devuelve cierto
SML ¿Cómo verificar el tipo de variable?
¿Hay alguna forma de verificar / probar el tipo de una variable? Quiero usarlo así: if x = int then foo else if x = real then bar else if x = string then ... else .....
Cómo 'arreglar' el sistema interactivo SML / NJ para usar las teclas de flecha
Tengo algunos problemas para usar el sistema interactivo SML / NJ, es decir, que cuando intento usar mis teclas de flecha (izquierda o derecha para hacer una...
Suprimir la salida "val it" en ML estándar
Estoy escribiendo un "script" en Standard ML (SML / NJ) que configura el entorno interactivo a mi gusto. Lo último que hace el script es imprimir u...