Beatrice: A finally tagless, dependently typed, homoiconic programming language (
from to on 22 Apr 2024 22:05

Today I am pleased to announce Beatrice, which is a finally tagless, dependently typed, self-aware functional programming language that I have been working on for quite a while. In this short blog post, I will demonstrate its most prominent features and contrast them to those of mainstream programming languages.

The “self-aware” is referring to homoiconicity:

Beatrice can represent its typed abstract syntax within itself. This allows us to manipulate Beatrice programs within Beatrice.


Longer overview


threaded - newest on 23 Apr 2024 00:27 collapse

All of your github links are broken. It appears your main account no longer exists.

I thought it might be that Microsoft finally completely broke github, but my account is still up, so…