Beatrice: A finally tagless, dependently typed, homoiconic programming language
(hirrolot.github.io)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 22 Apr 2024 22:05
https://programming.dev/post/13124593
from armchair_progamer@programming.dev to programming_languages@programming.dev on 22 Apr 2024 22:05
https://programming.dev/post/13124593
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.
threaded - newest
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…