ATS：帶定理證明的程式設計/安裝 ATS 程式語言系統

本文提供了在系統上安裝 ATS 編譯器的說明。最後，提供了一個非常簡單的程式來幫助您測試安裝。

安裝 ATS

注意：這些說明已在 Ubuntu Linux 上測試過，可能需要針對其他發行版進行更改。

在 Linux 上，第一步是下載當前 ATS 編譯器 ATS/Anairiats 的穩定版本。檔名應類似於 "ats-lang-anairiats-x.x.x.tar.gz"，其中 "x.x.x" 代表版本。然後，您可以將其安裝到/usr/share/atshome/ 或主目錄下的某個目錄中。

開啟終端並呼叫

sudo tar xvzf ats-lang-anairiats-x.x.x.tar.gz /

現在將此新增到環境中

export ATSHOME=/usr/share/atshome
export ATSHOMERELOC=ATS-x.x.x
export PATH=$ATSHOME/bin:$PATH

如果您選擇安裝到其他目錄，例如 ~/FOO，請先解壓到某個臨時目錄

tar xvzf ats-lang-anairiats-x.x.x.tar.gz /tmp

然後將 /tmp/usr/share/atshome 移動到 ~/FOO

mv /tmp/usr/share/atshome ~/FOO

然後將以下內容新增到 ~/.bashrc

export ATSHOME=~/FOO/atshome
export ATSHOMERELOC=ATS-x.x.x
export PATH=$ATSHOME/bin:$PATH

為了測試，請在您喜歡的文字編輯器中編寫以下內容

implement main () = print "hello, world!\n"

並將它儲存到名為 hello.dats 的檔案中。然後請執行以下命令列

atscc -o hello hello.dats

如果一切順利，./hello 將是一個新生成的執行檔案，它應該在執行時將字串 "Hello, world!" 和一個換行符列印到控制檯。

您將感興趣的兩種主要型別的檔案

“statics” 和“dynamics” 的含義將在後面解釋。