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.
Descargué SML / NJ 110.76 para el paquete Mac OS X de http://www.smlnj.org/dist/working/110.76/index.html
y luego lo instaló, y acceder a él en /usr/local/smlnj/bin/sml
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.