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

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

Hamler 語(yǔ)言主要特性

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

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

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

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

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

Hamler 源碼經(jīng)過(guò)詞法分析后生成 CST，然后經(jīng)過(guò) CST -> AST -> CoreFn 的語(yǔ)法樹變換、語(yǔ)法分析與類型檢查后，生成 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)。