Citation de Hitlounet
Y'a des malloc et free, des pointeurs

C'est un croisement entre C et Haskell avec une vérification statique de la mémoire à la compilation. Pas de free ou de malloc, le compilo sait quand il faut allouer / libérer de la mémoire, et il sait quand tu fais un truc invalide.