Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
A caveat: You make it sound like they wrote this by hand. What they did was a lot less tedious. Basically, there's a whole suite of compilation tools to take an existing tiny compiler (8cc), port it to a modified LLVM-like language (and compile itself into that language), and then the Lambda calculus only needs to implement a virtual CPU that can run it.
This is up there with the brainfuck interpreter written in Z80 assembly for the Gameboy
The compiler looks to be here: https://github.com/rui314/8cc
But it's in C. I would guess compiler is executed via elvm somehow: https://github.com/woodrush/elvm/tree/7123cf22a60641fbba31095cfac3bb72bac735c4
I have been working with the calculus of continuations, mostly formalizing its metatheory (my results so far are on GitHub). It is a calculus that relates to compiler IRs in the same way that the lambda calculus relates to functional languages. I have not yet released my interpreter (I'm currently working on it!), and I hope to finish my paper for next POPL. But I'll be sure to send you an e-mail once I am able to test the CPS translated compiler. Also, please DM me if you'd like to see some early research notes on that.