文件列表:

ocaml/
scala/
.ocamlformat
.scalafmt.conf

# Language etudes Repository accomodating a bunch of single-file typechecker/interpreter/compiler implementations. ## Table of contents ### Interpreters | File | Description | |------|-------------| | [scala/nbe.sc](https://github.com/RiscInside/LanguageEtudes/blob/master/scala/nbe.sc) | Plain and CPS-transformed NbE lambda calculus interpreters in Scala, along with a performance comparison. Run with `scala-cli run nbe.sc -- 1000 5`. | | [ocaml/nbe.ml](https://github.com/RiscInside/LanguageEtudes/blob/master/scala/nbe.sc) | NbE interpreters for LC in Ocaml. Run with `ocamlbuild ocaml/nbe.native --`. | ### Typecheckers | File | Description | |------|-------------| | [scala/holes.sc](https://github.com/RiscInside/LanguageEtudes/blob/master/scala/holes.sc) | Basic typechecker for a bare bones dependently typed language using NbE. Based on [elaboration-zoo/03-holes](https://github.com/RiscInside/LanguageEtudes/blob/master/https://github.com/AndrasKovacs/elaboration-zoo/tree/master/03-holes). Has no frontend yet, but you can run some examples with `scala-cli run scala/holes.sc` | ## Resources - [Elaboration Zoo](https://github.com/RiscInside/LanguageEtudes/blob/master/https://github.com/AndrasKovacs/elaboration-zoo) - [Checking Dependent Types with Normalization by Evaluation: A Tutorial (Haskell Version)](https://github.com/RiscInside/LanguageEtudes/blob/master/https://davidchristiansen.dk/tutorials/implementing-types-hs.pdf)

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：