Hamler 正在参加 2020 年度 OSC 中国开源项目评选,请投票支持!
Hamler 在 2020 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
投票让它出道
已投票
Hamler 获得 2020 年度 OSC 中国开源项目评选「最佳人气项目」 !
Hamler 获得 2020 年度 OSC 中国开源项目评选「最佳人气项目」「最积极运营项目」 !
Hamler 获得 2020 年度 OSC 中国开源项目评选「最积极运营项目」 !
授权协议 BSD-Clause
操作系统 跨平台
软件类型 开源软件
所属分类 其他
开源组织
地区 国产
投 递 者 OSCHINA编辑部
适用人群 未知
收录时间 2020-06-11

软件简介

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 compiler

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

展开阅读全文

代码

的 Gitee 指数为
超过 的项目

评论 (5)

加载中
没有大公司背书,怎么搞的起来啊
2020/08/24 13:34
回复
举报
2020/08/08 08:58
回复
举报
https://www.hamler-lang.org/ 这么技术的官方网站,使用Serif衬线字体,感觉太Out了吧
2020/06/12 08:13
回复
举报
我这里是无衬线字体
2020/06/15 20:36
回复
举报
就算是衬线字体我也没觉得有啥不好。。。
2020/06/15 20:37
回复
举报
更多评论
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
发表了博客
2020/09/03 14:17

EMQ Meetup2020 成都站回顾

据有关数据,四川省物联网相关规模已经超过 1200 亿,聚集企业超过 1100 家,已形成由核心区成都向周边多区域辐射的产业发展格局。目前,四川已初步形成涵盖各类场景的物联网全产业链,其中以车联网、智慧医疗、智慧物流等领域集中度最高。 作为专注物联网消息与流处理的开源软件企业,EMQ 也将 2020 年首场线下 Meetup 的地点选在了物联网产业飞速发展的成都。 **8月29日,多位物联网领域应用开发者朋友相聚成都,与 EMQ 共同探...

0
0
发表于硬件 & IoT专区
2020/06/18 12:30

EMQ X Cloud - MQTT 5.0 公有云服务正式发布

![](https://oscimg.oschina.net/oscnet/up-e2f40f4f81ca46e6c83b03ce323ad207908.png) 全球首个 [MQTT 5.0 公有云服务](https://cloud.emqx.io/cn/) EMQ X Cloud 国内版正式上线,首次注册用户提供 7 天免费试用,目前已经支持华为云、阿里云,其他云服务商将陆续上线。 EMQ X [MQTT 服务器](https://www.emqx.io/cn/products/broker)在过去的几年中为全球数千家企业用户选用,为客户的物联网应用提供稳定的基础服务。EMQ X C...

0
0
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
暂无内容
5 评论
61 收藏
分享
OSCHINA
登录后可查看更多优质内容
返回顶部
顶部