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 .....
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
Amplitud Funcional Primera Búsqueda
La primera búsqueda de profundidad funcional es encantadora en gráficos acíclicos dirigidos. Sin embargo, en gráficos con ciclos, ¿cómo evitamos la recursión infinita? En un lenguaje de procedimiento, marcaría los nodos cuando los golpeara, pero ...
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...
Iteración sobre listas múltiples en SML
Tengo dos listas en SML, digamos lista A
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 -> ...
La variable de tipo a unificar ocurre en tipo
Tengo una función para reconstruir un árbol de 2 listas. Devuelvo una lista de todas las ramas, pero recibo un error que no entiendo. Pero supongo que tiene que ver con los tipos de retorno. El error es este: Can't unify ''a with ''a list (Type ...