IP Girl
  1. IP Girl
  3. Types supérieurs avec C ++
Intereting Posts
Comment puis-je réinitialiser –hard HEAD sur Mercurial? Comment créer un fichier zip en Java Le moyen le plus simple de vérifier si la chaîne est nulle ou vide Essayer / attraper ne semble pas avoir d’effet Obtenir LinkedIn Profile Picture Différence entre les en-têtes Pragma et Cache-control? Quelle est la différence entre str == NULL et str == ‘\ 0’ dans C? Message VS2015 Update 2: «Mémoire faible détectée. Analyse complète de la solution désactivée pour cette solution. Privé vs public dans Cache-Control Utilisation de Ssortingng selectionArgs dans SQLiteDatabase.query () Dans GNU Make, comment convertir une variable en minuscule? Ecraser ma twig locale avec une twig distante Android – placez les enfants dans une vue? Swift: garde vs si laisser L’ordre ListView dans ArrayAdapter est mélangé lors du défilement

Types supérieurs avec C ++

Cette question s’adresse aux personnes qui connaissent à la fois Haskell (ou tout autre langage fonctionnel prenant en charge les types supérieurs) et C ++ …

Est-il possible de modéliser des types similaires à l’aide de modèles C ++? Si oui, alors comment?

MODIFIER :

De cette présentation de Tony Morris:

Polymorphisme d’ordre supérieur:

Exemple :

Pseudo-Java avec une notation inventée pour le polymorphism d’ordre supérieur 

 interface Transformer { Y transform(X x); } interface Monad { // M :: * -> *  M pure(A a);  M bind(Transformer<A, M> t, M a); }

Paramètres du template-template? 

 template

N’est-ce pas généralement un modèle normal un type plus élevé? Par exemple, std::vector prend un paramètre de type pour créer un type réel tel que std::vector , il a donc un type * -> * .