Function Style : les continuations
Pourquoi les langages comme le Haskell, le OCaml, le F# et d’autres encore utilisent la syntaxe intégrant le mot clef let ? Quelle différence y a-t-il donc avec l’allocation des variables …
Lire la suite
Programmation fonctionnelle
Programmation
28/01/2020
Langage
11/06/2019
Théorie des Types
Les mathématiques sont un monde passionnant mais parfois quelque peu complexe à appréhender à l’image du lambda calcul que je vous ai présenté dans mon dernier article. Que dire alors de la théorie des types que j’aborde dans cet article-ci ? Comme nous le verrons ci-après, il n’existe pas une mais plusieurs théories des types. Laissez-vous plonger dans l’univers des types à travers de nombreux exemples et cas d’application qui vous permettront de mieux comprendre le concept.
Lire la suite
Langage
20/05/2019
Lambda calcul, nombres de Church et programmation fonctionnelle
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 …
Lire la suite
Langage
06/05/2019
Les monades, et si vous les aviez créées ?
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 !!!
Lire la suite
Langage
01/04/2019
Lambda-calcul : de la définition à la logique booléenne
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.
Lire la suite
Langage
14/03/2019
Histoire du Lambda-calcul
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.
Lire la suite