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.
Quelle méthode employer ? Toutes les méthodes sont bonnes… ou presque. Dans une équipe de 19 développeurs, impossible de tous appliquer la même. Le plus important est donc de trouver celle …
La plus grande difficulté que l’on rencontre en débutant la pratique du TDD est de choisir le nouveau test à écrire. Il faut choisir la fonctionnalité qui va permettre un petit incrément, si possible le plus petit, mais la taille n’est pas le seul paramètre à prendre en compte…
Le Compact Prediction Tree (CPT), qu’est-ce que c’est ? C’est un algorithme “spécifique” qui propose une nouvelle approche dite “sans perte” et s’articule autour de trois structures de données. Retrouvez dans cet article tout ce que vous avez toujours voulu savoir (ou devez savoir) sur le CPT.
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.
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 !!!
