Lean-lang !
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
En 2017-2018, j’avais le plaisir de découvrir jupyter moodle/vpl depuis, les promesses se sont confirmées : ce sont des outils
[:fr]ErlangSur nos machines, est-il possible de compter jusqu’à 1 000 000 000 (un milliard) en moins d’une seconde ?