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 实现。