7 articles
← Retour aux tagsUn monoïde est une structure algébrique d'une simplicité désarmante : un ensemble muni d'une opération binaire associative et d'un élément neutre. C'est tout.
Le graphe orienté acyclique (DAG, pour directed acyclic graph) est une structure si fondamentale qu'elle apparaît dans presque tous les domaines de la programmation, souvent sans qu'on la nomme explic...
Une donnée brute n'a pas de signification intrinsèque : elle n'est qu'une suite de 1 et de 0, une structure inerte, un arrangement de symboles. C'est l'interprétation qui lui confère un sens.
Les langages dédiés embarqués (embedded DSL) permettent de construire des mini-langages au sein d'un langage hôte, héritant de sa syntaxe, de son système de types et de son outillage.
Un design system, dans son essence, est bien plus qu'une bibliothèque de composants réutilisables : c'est un langage dédié à l'expression d'une identité graphique (DSL, ou Domain-Specific Language).
Philip Wadler, dans sa conférence et son article « Propositions as Types », offre une méditation historique et philosophique sur la correspondance de Curry-Howard.
L'application partielle et le currying transforment une fonction à plusieurs arguments en une chaîne de fonctions à un argument.