Sesterl:灵感来自ML的Erlang 源码

Sesterl:会话类型的Erlang 概括 Sesterl (发音为/ səsˈtɚːl /)是一种类似于ML的静态类型的功能语言,旨在编译为Erlang。 与它的名字相反,Sesterl还不支持会话类型。 它仅检查每个进程可以接收的消息类型。 如下面的“”部分所述,但是,已经提供了许多功能,作为一种类型化的功能语言。 其中包括以下内容: 一流的高阶函数 ADT和模式匹配 标准的Damas–Milner多态性(即所谓的let多态性)和Hindley-Milner类型推断[Hindley 1969] [Milner 1978] 一种Monad在纯计算和并发计算之间的类型级别区分[Fowler 2019] 装有基于F-ing模块的函子的模块系统[Rossberg,Russo&Dreyer 2014] 目录 如何安装 在已安装Dune(≥2.5)和OPAM的条件下,调用: $ git