vlambda博客
学习文章列表

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:基于Erlang与Haskell的编程语言

Hamler 0.1 编译器最初尝试基于 GHC 8.10.1 实现,后改为基于 Purescript 0.13.6 实现。




往期推荐


Hamler:基于Erlang与Haskell的编程语言

扫码关注最新动态


我就知道你“在看”