sml開始使用sml


備註

本節概述了sml是什麼,以及開發人員可能想要使用它的原因。

它還應該提到sml中的任何大型主題,並鏈接到相關主題。由於sml的文檔是新的,您可能需要創建這些相關主題的初始版本。

安裝

標準ML有十幾種實現方式。 MLton生成非常優化的代碼,但沒有REPLSML / NJ是使用最廣泛的,但是出於學習目的而具有稍微困難的錯誤消息。 莫斯科MLPoly / ML很容易上手,但不支持.mlb包格式。但這對於入門並不重要。

以下是按操作系統劃分安裝SML / NJ,Moscow ML和Poly / ML的說明。

在Windows上

SML / NJ:

莫斯科ML:

  • 轉到http://mosml.org/並單擊“下載Win.Installer”。運行安裝程序。
  • 您現在有一個REPL,例如C:\Program Files (x86)\mosml\bin\mosml.exe

在MacOS上使用Homebrew

SML / NJ:

  • brew install smlnj 作為您自己的用戶運行。用smlnj 測試REPL。

莫斯科ML:

  • 轉到http://mosml.org/並單擊“下載PKG文件”。運行安裝程序。
  • 缺少...測試REPL怎麼樣?現在是$PATH 嗎?

在Ubuntu / Debian Linux上

SML / NJ:

  • 以超級用戶身份運行sudo apt-get install smlnj 。用smlnj 測試REPL。

莫斯科ML:

  • (Ubuntu)將PPA添加為超級用戶。用mosml 測試REPL。

    sudo add-apt-repository ppa:kflarsen/mosml
    sudo apt-get update
    sudo apt-get install mosml
     

添加readline支持

為了能夠使用箭頭鍵來導航先前輸入到REPL中的行,大多數SML編譯器都可以從程序rlwrap 受益。在MacOS上使用Homebrew,通過brew install rlwrap ,在Ubuntu / Debian Linux上,通過sudo apt-get install rlwrap 。然後在終端中嘗試以下操作:

alias mosml='rlwrap mosml -P full'
alias sml='rlwrap sml'
alias poly='rlwrap poly'
 

這些別名可以添加到例如~/.bashrc 因此它們默認工作。

箭頭鍵現在應該更好。