Resultados de la búsqueda a petición "sml"
Advertencia de SML: escriba Vars no generalizadas cuando use listas vacías o la opción NINGUNO
No puedo, por mi vida, averiguar por qué la siguiente función SML está lanzando una Advertencia en mi problema con la tarea:
¿Qué es un tipo recursivo?
Si en ML, un ejemplo de un tipo de datos recursivo es:
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 ...
¿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...
Cola-recursion en arboles.
Tengo una estructura de datos,
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...
¿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...
Sugerencia para la inferencia de tipo SML
Soy nuevo en SML y estoy tratando de practicar en la referencia de tipo SML. Estoy tratando de deducir los siguientes tipos: a)fun add42 x =x+42 b)fun comp F G = let fun C x = G(F(x)) in C end c)fun compA42 x = comp add42 x d)val foo = compA42 ...