Resultados de la búsqueda a petición "sml"
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 .....
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 * ...
¿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 ...
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?
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
Verdadero QuickSort en ML estándar
Ya queSolución ML estándar de RosettaCode [https://rosettacode.org/wiki/Sorting_algorithms/Quicksort#Standard_ML]es una versión muy lenta de Quicksort según la pregunta (y discusión) "¿Por qué el quicksort minimalista de Haskell no es un ...
Cómo dibujar un árbol de análisis de inferencia de tipos para sml
Así que estoy trabajando en mi práctica final, hay un problema para pedirme que dibuje un árbol de análisis para este código sml: fun ff f x y = if (f x y) then (f 3 y) else (f x "zero") val ff = fn : (int -> string -> bool) -> int -> string -> ...
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 ...
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 ...
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 ...