BT

Idris  sur InfoQ rss

Articles sur Idris rss

Abonnés Vrais ou Faux Jumeaux ? par Slim Ouertani Suivre 6 Abonnés Écrit le 25 nov. 2014 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.

Se connecter à InfoQ pour interagir sur ce qui vous importe le plus.


Récupérer votre mot de passe

Follow

Suivre vos sujets et éditeurs favoris

Bref aperçu des points saillants de l'industrie et sur le site.

Like

More signal, less noise

Créez votre propre flux en choisissant les sujets que vous souhaitez lire et les éditeurs dont vous désirez suivre les nouvelles.

Notifications

Restez à jour

Paramétrez vos notifications et ne ratez pas le contenu qui vous importe

BT