studio paquetes org language instalar how for lambda functional-programming installation sml ml

lambda - paquetes - r for linux download



¿Cómo instalo una versión funcional de Standard ML? (4)

Hice lo siguiente:

--descargar el archivo .dmg apropiado (para su sistema operativo) desde http://www.smlnj.org/dist/working/110.75/

--en tu ~ / .bash_profile: export PATH = "$ PATH: /usr/local/smlnj-110.75/bin"

- ejecuta tu bash_profile haciendo fuente .bash_profile

- Ir a la terminal y tipear sml.

Yo personalmente uso el modo sml para emacs. Agregue lo siguiente a su archivo .emacs y asegúrese de que el modo sml esté instalado en sus emacs desde M-list-packages.

(setenv "PATH" (concat "/usr/local/smlnj-110.75/bin:" (getenv "PATH")))

(setq exec-path (cons "/usr/local/smlnj-110.75/bin" exec-path))

Puede iniciar sml REPL en emacs haciendo Cc Cs.

Estoy usando Mac OSX 10.7.5 y parece que no puedo descargar un compilador ML de trabajo estándar con REPL disponible. ¿Se supone que esto es tan difícil? ¿Hay algún mejor NM que debería descargar? Intenté NJML y MLTON sin ningún resultado.



Si no te importa una descarga algo grande con aprox. 600 MB de espacio en disco, puedes probar Isabelle / ML. Isabelle es principalmente un entorno de demostración de teoremas, pero está basado en Poly / ML, incluido un IDE razonable: Isabelle / jEdit.

Para escribir SML en Isabelle / ML, debe ser incorporado en fuentes teóricas como esta:

theory Scratch imports Main begin ML {* fun f 0 = 1 | f n = n * f (n - 1) *} ML {* f 42 *} end


Puede probar Moscow ML desde http://mosml.org/ - también hay un mosml-2.10.1.pkg disponible para OS X. Moscow ML es generalmente menos popular que SML / NJ pero tiene un REPL muy fino con un error comprensible mensajes. Es un excelente ambiente de aprendizaje.