concept
langage de programmation fonctionnel et contractuel, à typage fort, dynamique et réflectif, dérivé de Scheme
