sml

15El calor

2Respuesta

Cómo 'arreglar' el sistema interactivo SML/NJ para utilizar las teclas de flecha

Tengo problemas para usar el sistema interactivo SML/NJ, es decir, cuando intento usar mis teclas de flecha (ya sea hacia la izquierda o hacia la derecha para corrección en la expresión que he tipeado

17El calor

2Respuesta

Comentarios de línea en el estándar ML

Estoy aprendiendo ML, con el dialecto SML/NJ. Lo que estoy tratando de averiguar es si hay un operador de comentario de línea. Encontré el operador de comentarios de bloque, (* ... *), pero realmente

15El calor

3Respuesta

al curry función anónima en SML

tengo la función de abajo y funciona: (fn x => x * 2) 2; pero éste no funciona: (fn x y => x + y) 2 3; ¿Puede alguien decirme por qué? ¿O darme alguna pista para que funcione?

5El calor

1Respuesta

¿Cuáles son los límites de usar sockets para la comunicación entre procesos?

Estoy creando una extensión de Firefox que permite el uso de Standard ML (SML) como un lenguaje de programación del lado del cliente en Firefox. La forma en que funciona es la siguiente: La extensión

6El calor

2Respuesta

Monturas izquierdas sesgadas por el peso: ventajas de la fusión de versiones descendentes?

Estoy estudiando por cuenta propia Okasaki's Purely Functional Data Structures, now on exercise 3.4, que me pide razonar e implementar un montón izquierdista sesgado por el peso. Este es mi implementa

7El calor

1Respuesta

declaraciones locales anidadas en ML de NJ

hola a todos tengo este fragmento de 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));

24El calor

1Respuesta

advertencia en el ML

¿alguien puede explicar, qué significa esta advertencia? stdIn:18.35 Warning: calling polyEqual y por qué tengo "una y no 'a en la siguiente declaración: val alreadyVisited = fn : ''a * ''a list ->

8El calor

3Respuesta

Compilador Fast Standard ML o intérprete de bytecode, con loop read-eval-print, para Linux?

Para usar con una clase que enseñaré, estoy buscando un compilador rápido o un intérprete de código de bytes para ML estándar. Estoy buscando tiempos de compilación rápidos; cualquier tiempo de ejecuc

5El calor

3Respuesta

expresión de tipo derivando en ML

Todo, Quiero derivar la expresión de tipo para la función de continuación en ML: fun f x y z = y (x z) Ahora sé escribir el mismo generaría la expresión de tipo. Pero deseo derivar estos valores a m

6El calor

3Respuesta

diferencia entre infix, infixr, infixl

He leído un libro que usa infix, infixr, e infixl en los programas de ejemplo. Me pregunto cuáles son las diferencias. Supongo que infixr realiza la operación de derecha a izquierda, y viceversa.