En savoir plus

KATA sur le TDD !

Nous recevons Gaëtan Eleouet, consultant chez Meritis depuis 9 ans et développeur senior orienté craftman, pour pratiquer ensemble le TDD ! Le principe est de créer un convertisseur de chiffres …

Lire la suite
En savoir plus

Le Compact Prediction Tree, une nouvelle approche pour la prédiction de séquence sur un alphabet fini

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.

Lire la suite
En savoir plus

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
Méthode de rédaction des cas de test à partir des exigences blog meritis
En savoir plus

Méthode de rédaction des cas de test à partir des exigences

À l’image de la rédaction des exigences d’un projet, la rédaction des cas de test à partir des exigences transverses, comme des cas d’utilisations et des règles de gestion, peut s’avérer longue, minutieuse et complexe.

Lire la suite
En savoir plus

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
En savoir plus

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