文件名称：Sesterl:灵感来自ML的Erlang
文件大小：140KB
文件格式：ZIP
更新时间：2024-03-29 00:26:13
programming-language erlang ocaml actor-model monad
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