sml

6El calor

1Respuesta

mecanismo para obtener el elemento de la lista

es posible conseguir elemento de la lista en el SML de Nueva Jersey sin usar la cabeza función y la cola, algo así: val a = [1,2,3]; a[1]; gracias de antemano

17El calor

3Respuesta

¿Hay un compilador Haskell/ML-like a C?

Personas havegames escrito para el iPhone en Scheme. Debido a que (algunos) compiladores de esquemas se compilan hasta C, fue fácil mezclarlos con Objective-C e integrarlos con XCode. Soy aware de pat

7El calor

1Respuesta

use operation en sml (donde es el directorio actual smlnj windows)

Nunca he usado SML en una máquina con Windows (tengo antes en una máquina Unix con emacs). por mi vida No puedo encontrar el directorio actual cuando estoy en el entorno sml. Si intento: usar "nombred

6El calor

1Respuesta

tipos de datos perezosos en Objective C

En SML, la siguiente es posible para el modelado de la programación perezoso, // Have a datatype to wrap a computation datatype 'a susp = Susp of (unit -> 'a) // A function to hold the computation

8El calor

2Respuesta

Problema corriendo smlnj en OSX 10.6

he descargado e instalado la aplicación SML NJ utilizando la DMG para x86 desde aquí: http://smlnj.cs.uchicago.edu/dist/working/110.72/index.html Sin embargo, cuando abro una ventana de terminal e ir

5El calor

2Respuesta

¿Cómo llamar a una función que divide listas?

Quiero escribir una función que divide listas en sublistas según qué elementos satisfacen una propiedad determinada p. Mi pregunta es a qué llamar la función. Daré ejemplos en Haskell, pero el mismo p

6El calor

1Respuesta

SML lista igualdad oddness

tengo este trozo de código: fun foldr2(f, x::xs) = if xs = [] then x else f(x, foldr2(f, xs)) Con la firma de tipo (''a * ''a -> ''a) * ''a list -> ''a parece bastante sencil

5El calor

1Respuesta

detectando excepciones en ML

¿es posible en ML detectar todas las posibles excepciones? por ejemplo, si no sé qué excepción podría ser

15El calor

2Respuesta

SML: ¿Cuál es la diferencia entre usar abstype y usar una firma para ocultar la implementación de una estructura?

He trabajado un poco en SML en el pasado, pero ahora estoy empezando a llegar a las partes más interesantes. Usando la construcción abstype...with...end, puedo hacer cosas pero mantener sus detalles d

56El calor

3Respuesta

¿Cuáles son las principales dificultades teóricas para agregar módulos de ML a Haskell?

Es bien sabido que las clases de tipo Haskell y los módulos ML-style ofrecen diferentes mecanismos para especificar las interfaces . Son (posiblemente) equivalentes en poder, pero en la práctica cada