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