• [^] # Re: Proust alors.

    Posté par (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 4.

    Me plaindre à titre personnel? non. Pour les autres: oui

    Super pratique pour se planquer ça.
    Bon et sinon, on les a entendu les autres ? Ils ont demandé quelque chose ? Ils t'ont soutenu ?

    Il y a toujours des exceptions, et j'en suis un

    Oui tu fais partie des exceptions.
    Avec 20 comptes avec un karma <= 0 sur les 3900 comptes actifs tu fais donc partie d'un ensemble comportant 0.5% des utilisateurs actifs. En ce sens tu es une exception. Pour le reste tu es malheureusement plus une pollution.

    qu'est-ce qui est faux dans ce que j'ai écrit ?

    Et qu'est ce qui est faux dans le fait de dire que l'assembleur aussi c'est sûr ?
    On peut écrire des logiciels sûr dans, je pense, à peu près tous les langages, même en brainfuck ou whitespace. Mais ça ne veut pas dire que brainfuck ou whitespace est forcément un bon choix.

    Et, entre autre, les exemples cités dans le journal montrent qu'il y a quand même une sacré différence en terme d'investissement nécessaire pour avoir quelque chose de sûr suivant les langages.

    Ha oui, et sinon (et ça peut intéresser tout le monde) il y a aussi spark qui est basé sur ada : http://www.spark-2014.org/ pour la version 2014, utilisant la programmation par contrat de Ada 2012.