Blackknight a écrit 1244 commentaires

J'avoue être tout de même surpris qu'OpenBSD qui est supposé mettre l'accent coté sécurité ait fait le même choix (utiliser un langage privilégiant la performance à la sécurité par défaut).

Parce que la base de code C était déjà là dans les BSD et qu'ils n'ont par forcément tout ré-écrit from scratch.
Et puis, coder un OS, c'est long alors certains doivent se dire que ce serait encore plus long en Ada :)
Pour finir, il y a aussi le problème du runtime Ada qu'il faut porter pour pouvoir bénéficier de tous les avantages du langage.

c'est sur les paquets propriétaire , par exemple Papper Flash n'est pas disponible tout comme google chrome ( donc obligé d'utiliser flash 11

Vrai pour Flash mais pour Chrome, y a au moins Chromium

FFmpeg ainsi que tout les codecs…etc

Hein ? T'es sûr ? Enfin, sur FreeBSD, je suis pas aussi sûr que toi (cf. ça)

De plus ils n'ont pas beaucoup de technologies vraiment BSD , la grande majorité sont des projets linux qui ont été repris

Au hasard, bhyve, les jails, Packet Filter et IPFW, CARP, HAST, GEOM, Dtrace (mais ça, ça vient de Solaris à l'origine), l'inclusion de ZFS dans le système de base… T'as raison, que du Linux :)

Ils sont aussi à la ramasse avec l'utilisation de vieille versions de X.org

Ben oui, y a des gens qui s'amusent à faire du Linux specific donc c'est pas forcément facile à suivre

Enfin bref peux etre que j'essaierais un jour mais ça sera pour un tres court moment avant de formater , trop de choses qui manquent pour garder un systeme BSD pendent longtemps

Tout dépend de ce que tu veux faire mais oui, si tu cherches un Linux, passes ton chemin.

même si la faim justifie les moyens

Ouais, faut avoir très fin :D

Idéalement, il faudrait aussi motiver un de vos gros clients Ada, si tu vois de qui je veux parler ;)

héhé :-) Bon en même temps je ne suis pas le seul de la boite sur linuxfr…

Certes mais t'es le seul à avoir fait un "coming-out" Ada :D

Je vais voir pour remotiver des gens dans ma boite

Ça tombe bien, c'est à toi que je pensais pour une adhésion :)

faut dire qu'on est déjà dans les membres

Vu la taille de la liste et les noms, je crois que je sais où tu bosses maintenant :D
Bon, en même temps, c'est aussi sur ton CV :)

Et quand est-ce qu'elle part sur Tchouri ? :D

D'après ça et ça, pour Rosetta, c'est même plus court que ça :)

D'ailleurs, l'évolution que l'on peut voir dans ce vieux doc de 2010 est assez intéressante et à des lieux de ce que l'on pouvait utiliser au sol même en 2005.
8Mo de RAM, qui est capable de coder là-dessus aujourd'hui :)

Voilà, j'ai reçu la grille tarifaire de participation à la normalisation pour 2015…
Bon, il vaut mieux avoir une boîte que ça impacte quand on voit le prix :)
Ceci dit, ça coûte pas beaucoup plus cher qu'une participation à certaines conférences.

En dehors des prix et de l'équilibre financier, le principal argument pour redémarrer la commission serait d'avoir des experts représentatifs :

• un intégrateur/éditeur utilisant Ada ou une SSII développant des applications en Ada ou un compilateur Ada
• un utilisateur majeur de telles applications
• quelques SSII éditrices de code Ada
• des chercheurs et universitaires (qui sont exonérés de cotisation)

Voilà, si vous connaissez du monde que cela peut intéresser…

Nan, on parle de vrais développeurs, pas d'admin sys qui se mettent à coder (voir ça) :D

Ada n'a pas le typage incluant la durée de vie comme Rust (enfin je crois).

Peut-être parce qu'au final, on utilise assez peu les pointeurs et que même dans ce cas, de toutes façons, c'est très contrôlé (cf. à partir de la page 36 dans ce document).
Après, pour une variable "standard", on applique les règles standard de portée (cf. page 11 du même document).

Ceci dit, je n'ai certainement pas bien compris le concept de durée de vie dans Rust :D

Pas beaucoup de tutos sur internet pour ceux qui veulent approfondir.

Que cherches-tu comme tutos pour approfondir ?
On sait jamais, j'ai peut-être des liens pour toi :)

Il me semble que Ada ne possède ni GC ni borrow checker

Certes mais vu qu'on n'utilise pas forcément beaucoup les pointeurs et que quand on les utilise, c'est très contrôlé par le compilateur, c'est pas aussi grave que ça.
Après, on peut faire deux ou trois trucs si vraiment on veut se faciliter la vie.
Perso, j'en ai pas encore eu besoin :D

Les seuls exemples connu sont dans le ferroviaire.

J'en connais un autre dans le nucléaire mais on ne trouve rien dessus.

Surtout que qualifier du C++ est super complexe si on utilise des objets

Et surtout, ce n'est normalement pas qualifiable suivant la DO-178B, ce qui a conduit il y a quelques années à l'écriture des documents OOTiA et à l'écriture de la DO-178C.
Mais bon, comme là, c'est du militaire, c'était pas grave :D

il aurait mieux fait d'utiliser SCADE

ou la méthode B :)

Tout à fait d'accord, surtout quand on voit dans les slides les différentes classes de bugs qui sont censés être évités.
Je vais pas tous les passer en revue mais franchement :
- page 9 : réécrire une bibliothèque pour faire des allocateurs sur pool de mémoire, ça me semble pas être un gain de temps… Surtout avec l'apparition des storage pools dans le norme suivante du précédent langage
- page 21 : Ils savaient que leur chaîne de compilation précédente faisait directement ces vérifications ?

Tout ça, pour au final, pour finir avec des retards colossaux et un budget largement explosé (cf. Wikipedia)

Perso, je te conseillerais d'abord de te familiariser avec le langage.
Ensuite, pour la programmation système, j'ai retrouvé deux trucs qui pourront t'intéresser :
- La page sur la programmation Posix
- des exemples Posix

Pour la première page, il y a quelques liens morts mais le but était de te montrer l'existence de Florist qui devrait normalement être inclus dans ta distribution ou qui, au pire, est téléchargeable facilement chez Adacore.

Le problème c'est qu'on trouve trop peu de docs sur ce langage

Rhoooo ! Allez, je fais comme d'habitude, je vais donner des liens :
- Ada distilled qui ne traite pas de l'Ada 2012 bien qu'il y en ai un peu dedans
- Le wikibook
- Adacore University
- Les normes qui, une fois que l'on a compris la syntaxe, permettent de répondre aux questions que l'on peut être amenés à se poser au fil de l'eau
- Un tuto en Ada95 à l'ENST qui est toujours d'actualité puisque le langage n'a pas subi de grands changements syntaxiques
- Les cours de Daniel Feneuille donnés à l'IUT d'Aix

Enfin, en source d'information, rien ne vaut les newsgroups français fr.comp.lang.ada et anglais comp.lang.ada où les responsables de la norme et les pros prendront toujours le temps de te répondre.

Ouais, et je peux te dire que le jour où on fera de la fusion, les Bretons et nous, on sera les rois !!!
Surtout quand je vois ce qu'on s'est pris sur la tronche ce week-end :D

Toutes ces histoires de layout mémoire, ça m'a rappelé une présentation que j'avais trouvée il y a quelques temps sur le Net.
Et chance !! Je l'ai retrouvée ici.
Attention, c'est technique mais comme c'est toi qui as commencé… :D

Et pour définir le succès, c'est juste le fait que le navire ne l'a pas abattu ?

Ben disons que l'accrocher au radar, ça suffit généralement à montrer que l'on est en position de faire feu et que le pilote ferait mieux d'aller voir plus loin.
Bien sûr, ça ne l'empêche pas de recommencer mais c'est un poil osé.
Alors oui, 12 passages consécutifs, c'est pas mal.

Tu peux donc affirmer avec certitude que 100% des gens qui combattent du coté "pro-russe" sont russes ? Il n'existe AUCUN ukrainien pro-russe ?

Tout autant qu'il n'y avait pas 100% d'Allemands dans les Sudètes. Il n'y a pas besoin de ça pour que ça dérive.

Et puis, il se vend tellement bien que le groupe Airbus compte "réduire" le nombre de postes qui lui sont dédiés (cf. là et là aussi)… Entre autres.

Sur la Wii, la manette est un pointeur infrarouge donc ça reste un dispositif de pointage. Mais bon, c'est pas forcément facile quand même :)

ADA m'intéresse, mais la dernière fois que j'ai essayé de m'y mettre, je n'ai pas réussi à trouver de doc satisfaisante pour mettre le pied dedans.

Rhoo, y a plein de trucs !!
- le wikibook
- un document pour programmeurs C++/Java
- un cours en français que je viens de trouver mais qui fait entièrement sous Windows
- Ada distilled
- Les cours de Daniel Feneuille en français mais qui ne couvrent pas les dernières versions
- l'université Adacore

Nan, franchement, tu fais pas d'efforts ;)