Lire l'article

Pratique du TDD, comment convertir des chiffres en nombres romains ?

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…

Lire la suite
Lire l'article

Brown Bag Lunch – Initiation à la programmation fonctionnelle

Nous recevons Gaël Dupire, consultant en développement logiciel et responsable du blog Meritis, pour pratiquer ensemble les concepts particuliers de la programmation fonctionnelle ! Vous êtes familier avec Spark ? …

Lire la suite
Lire l'article

MEETUP – Couchbase : Build microservices in/for an hybrid cloud strategy Meritis

Meritis vous invite à une nouveau Meetup le mardi 22 octobre de 19h à 21h !

Lire la suite
Lire l'article

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
Lire l'article

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
Lire l'article

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
quis sem, lectus mi, venenatis dapibus Nullam risus massa id, in Aliquam