scheme-langserver 新版本:scheme 社区第一个可实用的 gradual typing
今天,scheme-langserver( https://github.com/ufo5260987423/scheme-langserver)发布了一个最新版本 1.0.11 ,该版本中加入了 scheme 生态中第一个 gradual typing 实现。 以下内容摘自 scheme-langserver 的相关文档( https://github.com/ufo5260987423/scheme-langserver/blob/main/doc/analysis/type-inference.cn.md)(没找到oschina的markdown编辑功能,公式和详情请到原页面查看): 工程直觉:Scheme-langserver如何实现类型推断 包括Java和Typescript等编程语言都有一个类型系统, 能帮程序员尽可能避免代码执行中的错误。这些系统上基于遵循Hindley-Milner Type System或者System F的一些基本理论构建。然而,艰涩的理论不能保证它们的全知全能。 对scheme语言这样一种“非类型语言(untyped language)”,很多类型...