Hamler：基于Erlang与Haskell的编程语言
Hamler 是一门构建在 Erlang 虚拟机(VM)上的 Haskell 风格的强类型(strongly-typed)编程语言，独特地结合了编译时的类型检查推导，与对运行时高并发和软实时能力的支持。
Hamler 编程语言将赋予行业，尤其是 5G、IoT、云计算和边缘计算等潜力领域，构建下一代高可靠、可扩展、具备软实时支持应用的能力。
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 源码经过词法分析后生成 CST，然后经过 CST -> AST -> CoreFn 的语法树变换、语法分析与类型检查后，生成 CoreErlang 的 IR 代码，然后由 Erlang 编译器生成最终的二进制 Beam 文件。
Hamler 编译器架构如下图：
Hamler 0.1 编译器最初尝试基于 GHC 8.10.1 实现，后改为基于 Purescript 0.13.6 实现。
扫码关注最新动态