Blackknight a écrit 1237 commentaires

Une question un poil annexe, mais vu qu'il y a du monde qui semble en faire : où faire de l'ada (professionnellement j'entends) ?

Dans le spatial, l'aéronautique, la défense, le transport majoritairement que ce soit chez l'éditeur de logiciels ou en SSII.
Par exemple :
- Sur LinkedIn en étant connecté :)
- Directement sur les sites concernés comme MBDA ou Sagem Défense (certes, sur celle-là, on demande de l'expérience compte tenu du domaine mais si tu as de l'expérience en C, tu peux déjà postuler)

Mais bon, il ne faut pas se leurrer, le langage n'est pas à la mode (cf. ce post) donc les offres de boulot ne sont pas légion.

Une transition depuis du web/js/java ça se fait facilement ?

Le gros problème risque d'être lié au fait que dans beaucoup de cas, on trouve Ada dans des systèmes temps réel et/ou critiques où les problématiques sont assez éloignées du développement Web. Dans ce cas, ce n'est pas le langage qui risque de poser problème mais plutôt son environnement.
Par contre, la transition vers Ada en tant qu'apprentissage d'une nouvelle techno ne pose pas de problème.

Une "surcouche" genre vala pour le langage C ? Là ce serait intéressant.

Justement, il s'agit non pas d'une surcouche mais d'un sous-ensemble avec annotation. En clair, Ada est un langage généraliste et possède donc des fonctionnalités qui ne sont pas utilisables en l'état pour des applications critiques d'où l'existence de Spark.
C'est justement cela qui rend Spark intéressant pour ce domaine.

c'est l'aspect programmation concurrente et fonctionnelle de ADA

Autant pour concurrente, on est bien d'accord, c'est un point intéressant, autant pour fonctionnel, j'ai bien l'impression que l'on ne parle pas de la même chose. Ada n'est pas un langage fonctionnel et ne le sera jamais, il s'agit d'un langage impératif.
En ayant l'esprit très ouvert, on pourrait peut-être assimiler les dernières avancées en termes de prédicat pour la vérification statique de code de programmation pseudo-fonctionnelle mais faut vraiment être très ouvert.

Si personne ne peut en parler ce n'est pas grave.

Ben, on peut toujours parler de LISP mais franchement, si je peux comprendre à peu près qu'on compare avec Ocaml qui est multi-paradigme, la comparaison avec LISP peut s'arrêter à : "Il y a plus de parenthèses en LISP".

Sémantiquement parlant, c'est quoi la différence entre Michel, michel et MICHEL ?
Ok, on pourrait dire que :
- Michel, c'est le prénom
- michel, un objet ?
- MICHEL, un sigle ?

C'est un peu subjectif, non ?
En plus, il ne faut pas oublier qu'en Ada, un identifiant n'existe que dans un contexte comme une fonction, une procédure ou un package.

Le C est difficile parce qu'il n'est pas un langage objet dans le sens d'ADA.

Non, le C est difficile parce qu'il est plus proche de l'assembleur et que les abstractions sont faites à la main. On peut tout à fait écrire du code Ada qui n'est pas objet et le langage n'est pas objet à l'origine mais a évolué en 95 pour fournir un support objet Mais encore une fois, programmer objet (i.e avec polymorphisme, dynamic dispatching…) n'est pas obligatoire.

J'aurais aimé lire des remarques sur Java vs ADA, ça aurait été intéressant.

En voilà une parmi d'autres.

Spark ? Bof.

C'est sûr qu'il faut avoir déjà la culture Ada pour "apprécier" Spark. Celui-ci est un langage de niche créé pour éviter les écueils de la programmation Ada et faciliter l'analyse statique du code donc tant que l'on a pas à programmer un système dont les défauts ont des impacts en termes de vies humaines, oui, bof

On m'a dit du bien de LISP pourquoi ne pas plutôt le comparer à LISP ?

Parce qu'ils ne sont pas de la même famille à savoir procédural contre impératif/fonctionnel ? D'ailleurs, quel LISP ? Common LISP, Le LISP, e LISP ?

En outre, si je me rappelle bien, il te permet de respecter la norme de codage conseillée par l'Ada Quality and Style Guide mais c'est à vérifier.
D'ailleurs, tu peux vérifier tout ça avec le compilateur ou des outils externes comme AdaControl.

Surtout qu'il y a grosso modo ce qu'il faut dans la norme mais dans le principe, c'est quand même ça.

Bon, vu que je m'étais largement fait griller sur les liens précédents, je vais en donner de nouveaux :)
- Pour faire joujou avec un Arduino, rien ne vaut le blog de Tero
- Pour s'amuser à faire du temps réel sur bare metal, MarteOS
- Pour les programmeurs C++ et bien qu'il traite de la version 95, ce document reste pas mal

Voilà

le respect des majuscules

Ben justement, contrairement aux autres langages, Ada est insensible à la casse. Les variables CrEv, CReV, CREV etc représentent toutes la même chose.
C'est assez contre-intuitif quand on vient d'un autre langage mais finalement, ça évite d'avoir à retenir le nom d'une variable ET sa casse.
Sinon, je suis d'accord qu'au premier abord, c'est pas folichon et pas franchement à la mode mais une fois qu'on a compris que le compilo n'est pas notre ennemi, ça va beaucoup mieux :D
Bienvenue alors :)

Ah oui, pour les ressources, en voici quelques-unes :
- Les gemmes d'Adacore
- Le newsgroup en anglais dont le niveau est élevé puisqu'on y trouve plusieurs participants à la norme
- Le newsgroup en français à plus faible débit vu qu'on doit être une vingtaine dessus mais dont la qualité est tout aussi bonne que la version anglaise :D
- le topic Reddit

Certes mais cela augmente les fréquentations sur le site perso avec un risque de Slashdotisation version LinuxFR :)

Pour les non-débutant(e)s qui développe en ruby, attention le code peux faire mal aux yeux.

Ben, même les débutants, ça devrait leur piquer les yeux parce qu'au niveau des noms de paramètres, tu t'es fait plaisir :D

class Morgage
  /* SNIP */
  def initialize (p,d,i,l,c,s,a,w,f,r,g,m,v,o,u)    

et là aussi

class Loan
  def initialize (m,t,r)

Certes, ce choix inclus peut-être des utilisateurs de BSD qui n'ont pas vu que iwconfig n'existait pas sur leur système

Oui, il n'y a pas iwconfig sur BSD puisqu'on peut tout faire avec ifconfig mais le choix ifconfig seul n'étant pas disponible, on s'est repliés sur ce double choix…
Par contre, ce qui est désespérant, c'est de croire que les utilisateurs d'un système qui maîtrisent ifconfig puissent ignorer que iwconfig n'existe pas chez eux :)

Ben non, il avait pas envie de dire merci, lui. C'est toute la différence !

Quel est la différence entre 5 + "a" et datetime(123,32,201) ?
La première pourrait éventuellement être détecté à la compilation, mais la deuxième non. Alors pourquoi ajouter une technique qui vérifiera la première mais pas la deuxième ?

Sauf qu'avec un typage statique, y a tout une série de tests unitaires que tu n'a pas besoin d'écrire, tout ceux où tu devras vérifier comment se comporte ton code quand l'utilisateur de ton code rentre un caractère à la place d'un chiffre.
Pour ce qui est de datetime(123,32,201), dans certains langages, cela ne compilerait même pas, les valeurs étant hors plage d'emblée.

Non, ce qui s'est passé, c'est que la redirection associée à cette vieille adresse mail ne fonctionnait plus donc les modo n'ont pas pu me joindre avant la publication de la news des meilleurs contributeurs.
Du coup, quand j'ai vu que certains n'avaient pu être contactés, j'ai vite vu que j'en faisais partie.
J'ai donc contacté l'équipe qui m'a dit qu'il fallait maintenant attendre le moment où quelqu'un ne pourrait être joint pour profiter du créneau et recevoir un des 5 bouquins mis en jeu chaque mois.

J'espère que j'ai été clair :D

Reprenons point par point :
Sur un Athlon 2600+ à 1.8Ghz, faut pas trop exagérer avec les ressources :D => WindowMaker

Le GKrellM par défaut, c'est juste parce que je me fous de l'apparence. Mais bon, effectivement, c'est mon côté passéiste qui veut que je cherche la fonctionnalité avant la beauté ;)

Et puis, mon Caliméro, il a une fourche et une queue de diablotin. Mais oui, j'ai regardé Caliméro quand j'étais gosse :)

Enfin, Java, c'est pas encore du passé… Sauf en prépa :)

Mon Dieu !! Je lis bien ce que je lis ??? Un SPAM dans les commentaires ?
Pffff si les spammeurs se mettent à poster sur Linuxfr, ça va rajouter du bruit dans les commentaires des news… Comme si on en manquait :)

Oui mais au moins, c'est bô !!!
T'as plein de tests et un bel historique qui laissent penser que t'es le plus fort :D

Un peu de géographie ne faisant pas de mal, il faut savoir que l'on écrit plutôt "Aller à Thouars".
Merci d'avance :)

Voilà !! Et il y a aussi quelques boites de services sous-traitantes de ces mêmes boites dans Paris.
Mais, bon, je voudrais quand même préciser que si Ada est effectivement très présent dans cette niche, cela reste un langage généraliste qui permet de faire d'autres choses que de l'embarqué ou de la haute fiabilité.

Pff, on fait comment pour trouver un job de programmeur Ada? On déménage de Paris à Toulouse?

Il doit bien y en avoir sur Paris des jobs en Ada. Par exemple, Sur Google, 'job ada paris' donne quelques résultats.

Exact mais c'est le compilateur qui est buggé pas la norme donc il est tout à fait normal que cela apparaisse quand même dans les nouveautés.
Ceci dit, Yannick Moy, ingé chez AdaCore, avait bien précisé le changement de comportement dans les dernières versions (cf. ce commentaire).
Bon, depuis, je n'ai pas re-testé car pour moi, le passage in/out pour les fonctions est trop dangereux.

Ben là où est écrit par exemple

More information:
"Introduction to Ada", FOSDEM'2013, ODP, 3684KB (slides)
"Introduction to Ada", FOSDEM'2013, PDF, 856KB (slides)

Effectivement, je fais mon mea culpa, le lien que j'ai fourni n'était pas le bon !!! Désolé.

Si un gentil modérateur pouvait remplacer le premier lien d'Ada-Belgium par celui-là ou carrément ajouter en tant que lien en fin de journal, ce serait très gentil :)

Encore désolé mon cher Reno.

Ouais, c'est clair, c'est un truc de malade, y a pas de Flash, pas vidéo, faut juste savoir lire :D
J'avais hésité à mettre les liens mais je pensais que c'était clair. Finalement, c'était pas assez pré-maché :
- Le Welcome

• Initiation à Ada

• Outils avec Ada

• Ada et Android

• Le multitâche

• Ada 2012 : nouveautés

• Dimensions checking

• Gestion d'un PABX

• Méthodes formelles

N'insistez pas, je ne vais pas m'enregistrer en train de les lire :D