Titania est un langage de programmation expérimental avec un système de types dépendants — une exploration de frontières où types et preuves mathématiques se confondent.
Lien source
The Titania Programming Language
Discussion sur Hacker News (105 points)