Dans les langages orientés objet qui prennent en charge les paramètres de type génériques (également appelés modèles de classe et polymorphisme paramétrique, bien que chaque nom porte bien sûr des connotations différentes), il est souvent possible de spécifier une contrainte de type sur le...
Je viens juste de terminer Learnyouahaskell l'autre jour, et j'essayais de donner un sens à la restriction du monomorphisme, comme décrit par le Haskell Wiki . Je pense que je comprends comment le MR peut empêcher des évaluations répétées, mais je ne vois pas pourquoi ces évaluations répétées ne...
En réponse à une question précédente , un petit débat a commencé sur la terminologie correcte pour certaines constructions. Comme je n'ai pas trouvé de question (autre que ceci ou cela , ce qui n'est pas tout à fait la bonne chose) pour y répondre clairement, je crée cette nouvelle question. Les...
Certains langages permettent des classes et des fonctions avec des paramètres de type (comme List<T>où Tpeut être un type arbitraire). Par exemple, vous pouvez avoir une fonction comme: List<S> Function<S, T>(List<T> list) Cependant, certaines langues permettent d'étendre ce...
Haskell a une notion de «fonctions génériques» qui a une certaine similitude apparente avec le lisp commun - n'ayant aucune expérience avec Haskell ni avec le lisp commun, je pourrais être très approximatif ici. Cela signifie que l'on peut définir une fonction générique to_stringpour définir une...
Les travaux de Liskov dans ce domaine se sont concentrés sur le sous-typage comportemental qui, outre la sécurité du système de types discuté dans cet article, exige également que les sous-types préservent tous les invariants garantis par les supertypes dans certains contrats. [3] Cette définition...
Étant donné le type existentiel T = ∃X.{op₁:X, op₂:X→boolean} et cette interface Java générique: interface T<X> { X op₁(); boolean op₂(X something); } Quelles sont les différences fondamentales entre le type existentiel et l'interface Java? Évidemment, il existe des différences syntaxiques et...
Je veux définir une classe de type pour les objets géométriques qui peuvent être intersectés ensemble: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies L'idée est d'avoir une fonction d'intersection à...
Les génériques en Java sont implémentés en utilisant l'effacement de type. Le JLS dit que l'inspiration était la compatibilité descendante. Où comme d'autre part les génériques C # sont réifiables. Théoriquement, quels sont les avantages et les inconvénients d'avoir les génériques comme...
J'ai lu plusieurs articles, articles et section 4.1.4, chapitre 4 de Compilers: Principles, Techniques, and Tools (2nd Edition) (aka "The Dragon Book") qui traitent tous du sujet de la récupération d'erreur du compilateur syntaxique. Cependant, après avoir expérimenté avec plusieurs compilateurs...
Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un seul problème en modifiant ce post . Fermé il y a 4 ans . Je connais quelques bonnes options : Grands...
Par curiosité, existe-t-il des langages qui vous permettent de définir l'arithmétique sur les types pour en créer de nouveaux? Quelque chose comme: interface A { void a(); void b(); } interface B { void b(); void c(); } interface C = A & B; // has b() interface D = A | B; // has a(), b() and...
Récemment, je suis devenu profondément intéressé par Haskell. Tout en essayant d'apprendre de nouveaux concepts (par exemple le mot - clé forall et la monade ST ) et le système de types de Haskell en général, je rencontre continuellement des concepts de la théorie des catégories et du calcul lambda...
J'ai lu que Go n'a pas vraiment d'inférence de type dans le sens où les langages fonctionnels tels que ML ou Haskell l'ont fait, mais je n'ai pas pu trouver une comparaison simple à comprendre des deux versions. Quelqu'un pourrait-il expliquer en termes de base en quoi l'inférence de type dans Go...
Dans la théorie du langage de programmation, un type est un ensemble de valeurs. Par exemple, le type "int" est l'ensemble de toutes les valeurs entières. Dans les langages POO, une classe est un type, n'est-ce pas? Lorsqu'une classe est définie avec plusieurs membres, par exemple class myclass{...