BT

Diffuser les connaissances et l'innovation dans le développement logiciel d'entreprise

Contribuez

Sujets

Sélectionner votre région

Accueil InfoQ Idris sur InfoQ

Articles

Flux RSS
  • Vrais ou Faux Jumeaux ?

    L’objectif de cet article est de mettre en évidence différentes familles de paradigmes (la comparaison des langages de programmation n’est pas traitée ici). Il s’agit tout simplement de présenter l’implémentation de la logique de vérification de jumeaux sous divers types de langages : JavaScript, Java, Scala et Idris.

BT