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.
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…