Sesterl：会话类型的Erlang 概括 Sesterl （发音为/ səsˈtɚːl /）是一种类似于ML的静态类型的功能语言，旨在编译为Erlang。 与它的名字相反，Sesterl还不支持会话类型。 它仅检查每个进程可以接收的消息类型。 如下面的“”部分所述，但是，已经提供了许多功能，作为一种类型化的功能语言。 其中包括以下内容： 一流的高阶函数 ADT和模式匹配 标准的Damas–Milner多态性（即所谓的let多态性）和Hindley-Milner类型推断[Hindley 19