In this post, we’ll implement a toy interpreter for a small functional language. We will use Makam, a metalanguage that helps in the ‘initial spiking/prototyping phase’ of designing a new language, allowing for a tight feedback loop and for iterating quickly.
tests : testsuite. %testsuite tests. Say you are designing and implementing a new language: there is a class of programs that are hard to write in languages that are presently available and you want better ways to express them.
Read on →
I have been working a lot on Makam in the past few months, the
metalanguage based on λProlog that I started implementing at MIT
working with Adam Chlipala. The latest
feature I have been working on is a Web interface for Makam, meant to
be used for literate posts that have Makam code alongside the
text. The code is ran through a AWS Lambda Makam webservice. This is
the first such literate post – so go ahead and evaluate the code of
this web page, or even try editing the final queries before
evaluating, using the two buttons on the bottom-right of the page!
Read on →
I’m starting this blog as a way to post tutorial series on Makam, plus random thoughts. I’m thinking of one series for programmers who want to learn more about programming language theory, type systems, formal semantics, etc.; and another one for programming language researchers who would like to use Makam to experiment with new type system ideas.