C#, JavaScript, Python,… la langue du développeur ne cessent d’évoluer et de s’enrichir. De nouveaux langage voient le jour régulièrement.
Les nombres de Church Dans l’article précédent, nous avons présenté les axiomes de Peano qui permettent de construire les nombres naturels. Désormais, « traduisons »-les en langage de λ-calcul. Pour rappel, nous …
On entend souvent dire que les monades sont des objets incompréhensibles. Puis, lorsque quelqu’un commence à les comprendre, il n’est plus capable d’expliquer ce qu’elles sont simplement. Clément a pourtant trouvé une parle rare dans la langue de Shakespeare, et nous propose sa traduction Anglais/Français et Js/Scala !!!
Deuxième partie de notre dossier consacré au lambda-calcul ! Après nous avoir présenté l’histoire du Lambda-calcul, Anatolli nous propose cette fois d’en découvrir la définition et les méthodes pour construire des programmes simples équivalents à la machine de Turing.
Depuis que les lambda ont été formalisées par Alonso Church dans les années 1930, elles ont été l’objet d’étude et de développement importants. Elles sont également des outils importants dans nombre de théories ayant permis de nombreuses réussites comme la démonstration du théorème des quatre couleurs. Anatolli nous retrace l’essentiel de cet objet puissant des mathématiques modernes.
Le debugging est une tâche fastidieuse bien connue des développeurs. Les IDE proposent en général de nombreuses options concernant l’utilisation des breakpoints. Les maîtriser, c’est se faciliter la vie ! Claire nous présente les différentes options possibles avec IntelliJ.
L’utilisation et la gestion d’event dans les systèmes distribués (ou pas) est de plus en plus courante. Soufiane nous présente la librairie Vert.x qui permet le transport et le dispatch des événements de votre système. Pour la visite c’est par ici !!
