[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
[:fr]ErlangSur nos machines, est-il possible de compter jusqu’à 1 000 000 000 (un milliard) en moins d’une seconde ?
D’un coté il y a l’algorithmique que l’on souhaite enseigner aux étudiants, avec des concepts spécifiques (les structures de contrôle,
Edba vient de changer d’adresse ! C’est maintenant https://edba.imag.fr/index_EDBA_Full.html ou plus court edba.imag.fr (les comptes ont été basculés, l’ancien site