Je sais que c'est une question très large, ambiguë et peut-être philosophique. Dans une certaine mesure, le mot-clé le plus important de la question - système de type «fort» - lui-même est mal défini . Alors, laissez-moi essayer d'expliquer ce que je veux dire. Contexte général de la question Nous...
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, y compris des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. Il est communément admis que les...
Il semble que tous les nouveaux langages de programmation ou du moins ceux qui sont devenus populaires utilisent l'inférence de type. Même Javascript a obtenu des types et des inférences de types via diverses implémentations (Acscript, typescript, etc.). Cela me semble bien, mais je me demande s'il...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 4 ans . Dans l'article d'Eric Lippert Qu'est-ce qui...
Lors de la conception et implenting un langage de programmation orienté objet, à un un point doit faire un choix sur la mise en œuvre des types fondamentaux (comme int, float, doubleou équivalents) sous forme de classes ou autre chose. De toute évidence, les langages de la famille C ont tendance à...
Je suis un peu confus quant à la différence entre les systèmes de type nominal et structurel. Quelqu'un peut-il expliquer en quoi ils diffèrent? D'après ce que je comprends: Nominal: la compatibilité des types est basée sur le nom du type. Structurel: la compatibilité de type est basée sur la...
Remarque: Lorsque j'ai utilisé "complexe" dans le titre, je veux dire que l'expression a de nombreux opérateurs et opérandes. Non pas que l'expression elle-même soit complexe. J'ai récemment travaillé sur un simple compilateur pour l'assemblage x86-64. J'ai terminé la partie frontale principale du...
Y a-t-il des raisons théoriques à cela (comme que la vérification de type ou l'inférence de type deviendrait indécidable) ou des raisons pratiques (trop difficiles à mettre en œuvre correctement)? Actuellement, nous pouvons envelopper des choses newtypecomme newtype Pair a = Pair (a, a) puis avoir...
J'ai lu que Hindley-Milner ne fonctionne pas avec les systèmes de types qui ont des sous-classes, et il existe d'autres fonctionnalités de système de types qui ne fonctionnent pas bien avec. Go n'a actuellement qu'une inférence de type très limitée dans l' :=opérateur. Mais Go n'a pas de...
Lorsque vous expliquez le combinateur Y dans le contexte de Haskell, il est généralement noté que l'implémentation simple ne vérifie pas le type dans Haskell en raison de son type récursif. Par exemple, à partir de Rosettacode : The obvious definition of the Y combinator in Haskell canot be used...
Dans l'état actuel des choses, cette question ne convient pas à notre format de questions / réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, des sondages ou une...
Supposons que je veuille écrire une bibliothèque qui traite des vecteurs et des matrices. Est-il possible de faire cuire les dimensions dans les types, de sorte que les opérations de dimensions incompatibles génèrent une erreur au moment de la compilation? Par exemple, je voudrais que la signature...
Je me demandais récemment pourquoi le mot clé a autoété choisi en C ++ 11 pour marquer une variable dont le type doit être déduit par le compilateur, comme dans auto x = 1; Puisque var semble plus courant dans d'autres langages de programmation (par exemple C #, Scala, JavaScript), et Pour autant...
Je m'intéresse aux types d'unicité comme alternative aux monades dans les langages fonctionnels purs depuis un certain temps; malheureusement, il s'agit en quelque sorte d'un domaine ésotérique de la recherche CS et les ressources en ligne sur la programmation avec des types d'unicité sont rares....
Plus j'en apprends sur les différents paradigmes de programmation, tels que la programmation fonctionnelle, plus je commence à remettre en question la sagesse des concepts de POO comme l'héritage et le polymorphisme. J'ai appris pour la première fois l'héritage et le polymorphisme à l'école, et à...
Lors d'un récent projet sur lequel j'ai travaillé, j'ai dû utiliser beaucoup de fonctions qui ressemblent à ceci: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double...
Note initiale: Cette question a été fermée après plusieurs modifications car je n'avais pas la terminologie appropriée pour énoncer avec précision ce que je cherchais. Sam Tobin-Hochstadt a ensuite posté un commentaire qui m'a fait reconnaître exactement ce que c'était: des langages de...
Je suis sûr que tout le monde connaît les méthodes génériques du formulaire: T DoSomething<T>(T item) Cette fonction est également appelée paramétriquement polymorphe (PP), en particulier PP de rang 1 . Disons que cette méthode peut être représentée à l'aide d'un objet fonction de la forme:...
Si vous avez une énumération avec des valeurs uniquement (aucune méthode comme on pourrait le faire en Java), et cette énumération fait partie de la définition métier du système, doit-on écrire des tests unitaires pour cela? Je pensais qu'ils devraient être écrits, même s'ils pouvaient sembler...
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...