Minko Gechev personal blog
Developing a Statically Typed Programming Language (2017)
In this blog post we’ll go through a sample implementation of a type checker, interpreter and a transpiler for a basic purely functional programming language, which is based on the lambda calculus. We will do a “full-stack” programming language development by going through formal definition of the language’s syntax…
- Points
- 143
- HN comments
- 20
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 8, 2019 | Developing a Statically Typed Programming Language (2017) by proxybop | 143 | 20 |
