In this post, we will continue to explore how to integrate mode declarations into Makam, using bidirectional typing as an example.

Read on →

In this post, we will explore a few design ideas related to integrating mode declarations into Makam, using bidirectional typing as an example. This feature is experimental, so I’d be glad to hear comments and ideas!

Read on →

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.