文件名称:
Sesterl:灵感来自ML的Erlang-源码
开发工具:
文件大小: 140kb
下载次数: 0
上传时间: 2021-03-09
详细说明：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
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
