Hamler 正在参加 2020 年度 OSC 中国开源项目评选,请投票支持!
Hamler 在 2020 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
投票让它出道
已投票
授权协议 BSD-Clause
操作系统 跨平台
软件类型 开源软件
所属分类 其他
开发厂商
地区 国产
提 交 者 编辑部的故事
适用人群 未知
收录时间 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)

加载中
没有大公司背书,怎么搞的起来啊
08/24 13:34
回复
举报
08/08 08:58
回复
举报
https://www.hamler-lang.org/ 这么技术的官方网站,使用Serif衬线字体,感觉太Out了吧
06/12 08:13
回复
举报
我这里是无衬线字体
06/15 20:36
回复
举报
就算是衬线字体我也没觉得有啥不好。。。
06/15 20:37
回复
举报
更多评论
发表了资讯
08/07 11:10

Hamler 0.2 正式发布,基于 Erlang 与 Haskell 的编程语言

我们在这里很高兴地和大家分享 Hamler 0.2 版本发布的消息! Hamler 是一门构建在 Erlang 虚拟机(VM)上的 Haskell 风格的强类型(Strongly-typed)编程语言,独特地结合了编译时的类型检查推导,与对运行时高并发和软实时能力的支持。 Hamler 0.2 现已支持大部分 Erlang 的并发编程特性,包括基于 Actor Model 的 Message ...

6
6
发表了资讯
06/11 15:01

EMQ 团队正式向全球 IoT&5G 市场发布开源函数编程语言 - Hamler

EMQ 团队很高兴正式向全球 IoT&5G 市场发布开源函数编程语言 - Hamler! Hamler 是一门构建在 Erlang 虚拟机(VM)上的 Haskell 风格的强类型(strongly-typed)编程语言,独特地结合了编译时的类型检查推导,与对运行时高并发和软实时能力的支持。 Hamler 编程语言将赋予行业,尤其是 5G、IoT、云计算和边缘计算等潜力领域,...

23
22
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
发表了博客
08/10 14:00

字节跳动、腾讯回应美国政府行政命令;英特尔回应20GB机密文档被泄露;优麒麟20.04.1发布|极客头条...

整理 | 屠敏 头图 | CSDN 下载自东方 IC 「极客头条」—— 技术人员的新闻圈! CSDN 的读者朋友们早上好哇,「极客头条」来啦,快来看今天都有哪些值得我们技术人关注的重要新闻吧。 一分钟速览新闻点! 字节跳动、腾讯回应美国政府行政命令 小米在印度推出全新 MIUI 系统,不预装任何被禁应用 余承东:麒麟9000是最后一...

0
0
发表了博客
09/03 14:17

EMQ Meetup2020 成都站回顾

据有关数据,四川省物联网相关规模已经超过 1200 亿,聚集企业超过 1100 家,已形成由核心区成都向周边多区域辐射的产业发展格局。目前,四川已初步形成涵盖各类场景的物联网全产业链,其中以车联网、智慧医疗、智...

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

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

全球首个 MQTT 5.0 公有云服务 EMQ X Cloud 国内版正式上线,首次注册用户提供 7 天免费试用,目前已经支持华为云、阿里云,其他云服务商将陆续上线。 EMQ X MQTT 服务器在过去的几年中为全球数千家企业用户选用,...

0
0
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
暂无内容
5 评论
49 收藏
分享
返回顶部
顶部