Hamler 是一門構(gòu)建在?Erlang?虛擬機(jī)(VM)上的?Haskell?風(fēng)格的強(qiáng)類型(strongly-typed)編程語言，獨(dú)特地結(jié)合了編譯時的類型檢查推導(dǎo)，與對運(yùn)行時高并發(fā)和軟實(shí)時能力的支持。

Hamler 編程語言將賦予行業(yè)，尤其是 5G、IoT、云計(jì)算和邊緣計(jì)算等潛力領(lǐng)域，構(gòu)建下一代高可靠、可擴(kuò)展、具備軟實(shí)時支持應(yīng)用的能力。

Hamler 語言主要特性

Hamler 作為運(yùn)行在 Erlang VM 上的類 Haskell 語法的編程語言，核心特性可以概括為：

• 類 Haskell 和 ML 的友好語法
• 編譯時的類型檢查與類型推導(dǎo)
• 運(yùn)行時的高并發(fā)、軟實(shí)時支持

Hamler 語言支持函數(shù)編程大部分主要特性，可以幫助產(chǎn)業(yè)更好地迎接 5G、IoT 、邊緣計(jì)算與云計(jì)算帶來的開發(fā)浪潮，并吸引更多的開發(fā)者使用 Erlang VM - BEAM。

• 聲明式與函數(shù)式編程
• 類 Haskell 與 ML 語法
• 編譯時類型檢查與推導(dǎo)
• 代數(shù)類型系統(tǒng)支持(ADT)
• 函數(shù)、閉包、高階函數(shù)
• Currying and partial application
• Pattern matching, and Guards
• List comprehension
• Applicative and Monad
• 更高級的模塊系統(tǒng)
• 高并發(fā)、軟實(shí)時支持

Hamler 編譯器設(shè)計(jì)

Hamler 源碼經(jīng)過詞法分析后生成 CST，然后經(jīng)過 CST -> AST -> CoreFn 的語法樹變換、語法分析與類型檢查后，生成 CoreErlang 的 IR 代碼，然后由 Erlang 編譯器生成最終的二進(jìn)制 Beam 文件。

Hamler 編譯器架構(gòu)如下圖：

Hamler 0.1 編譯器最初嘗試基于 GHC 8.10.1 實(shí)現(xiàn)，后改為基于 Purescript 0.13.6 實(shí)現(xiàn)。