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.