Hamler基于Erlang與Haskell的編程語言

Hamler 是一門構建在?Erlang?虛擬機(VM)上的?Haskell?風格的強類型(strongly-typed)編程語言，獨特地結合了編譯時的類型檢查推導，與對運行時高并發和軟實時能力的支持。

Hamler 編程語言將賦予行業，尤其是 5G、IoT、云計算和邊緣計算等潛力領域，構建下一代高可靠、可擴展、具備軟實時支持應用的能力。

Hamler 語言主要特性

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

• 類 Haskell 和 ML 的友好語法
• 編譯時的類型檢查與類型推導
• 運行時的高并發、軟實時支持

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

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

Hamler 編譯器設計

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

Hamler 編譯器架構如下圖：

Hamler 0.1 編譯器最初嘗試基于 GHC 8.10.1 實現，后改為基于 Purescript 0.13.6 實現。