Un clone sûr du C

Vous voulez faire du C, mais un garbage collector (ramasse miettes) intégré vous fait changer d'avis ? Voici un clone du C fait par AT&T (donc du sérieux) qui s'appelle Cyclone.

Ce clone du C permet de manipuler plus "sûrement" les pointeurs puisqu'il intègre plusieurs types de pointeurs allant du pointeur de base du C à des pointeurs non nuls ou même qui se terminent ou non par zéro (le fameux \0).

Il intègre également certaines techniques de la programmation fonctionnelle (le polymorphisme paramétrique, l'inférence de type). Il en est à sa version 1.0. Attention, la documentation est en anglais.

http://cyclone.thelanguage.org/

Au fait, je vous préviens, ce n'est pas comme du C où après une bonne dose, on peut programmer efficacement. Là, il faut connaitre un peu les rouages du langage pour avoir un programme efficace. En effet, il ne faut pas se tromper, les aspects de sûreté existent car des tests sont introduits à l'intérieur du code.

Par contre, il existe une newsgroup active et les concepteurs y sont actifs à l'instar de David Morissette.