• [^] # Re: Clight

    Posté par (site web personnel) . En réponse au journal Xavier Leroy est le lauréat 2016 du Prix Milner.. Évalué à 4.

    En regardant la liste, visiblement la couverture du langage C est vraiment bonne. Le "unstructured switch" est plus un défaut de spécification C car peu utilisé en pratique et difficile à comprendre. En embarqué micro-contrôleur il existe cependant un cas d'usage.
    longjmp / setjmp sont peu utilisé aussi sauf pour du très bas-niveau et les Variable-length array peuvent aussi une spécificité du C99 (utile mais contournable facilement).