Génie logiciel type-systems

9

Les langages typés dynamiques méritent-ils toutes les critiques? [fermé]

J'ai lu quelques articles sur Internet sur le choix du langage de programmation dans l'entreprise. Récemment, de nombreux langages typés dynamiques ont été populaires, à savoir Ruby, Python, PHP et Erlang. Mais de nombreuses entreprises conservent encore des langages à typage statique tels que C, C ++, C # et …

35 programming-languages dynamic-typing static-typing type-systems

8

Pourquoi Java n'autorise-t-il pas les conditions numériques comme if (5) {…} si C le fait?

J'ai ces deux petits programmes: C #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } Java class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } qui rapporte le message d'erreur: type_system.java:4: …

33 java c type-systems

7

Le système de types de Haskell est-il un obstacle à la compréhension de la programmation fonctionnelle? [fermé]

J'étudie Haskell dans le but de comprendre la programmation fonctionnelle, dans l'espoir d'appliquer les connaissances que j'ai acquises dans d'autres langues (Groovy, Python, JavaScript principalement.) J'ai choisi Haskell parce que j'avais l'impression qu'il est très purement fonctionnel et ne permet pas de dépendre de l'État. Je n'ai pas choisi d'apprendre …

33 functional-programming haskell language-features type-systems

9

Existe-t-il des modèles de conception qui ne sont possibles que dans des langages typés dynamiquement comme Python?

J'ai lu une question connexe. Existe-t-il des modèles de conception inutiles dans les langages dynamiques comme Python? et je me suis souvenu de cette citation sur Wikiquote.org La chose merveilleuse à propos de la frappe dynamique est qu'elle vous permet d'exprimer tout ce qui est calculable. Et les systèmes de …

30 design-patterns python type-systems dynamic-typing

1

Inférence de type dans Java 8

L'introduction de la nouvelle notation lambda (voir par exemple cet article ) dans Java 8 va-t-elle nécessiter une sorte d'inférence de type? Si tel est le cas, quel sera l'impact du nouveau système de types sur le langage Java dans son ensemble?

30 java type-systems lambda java8

8

Vous utilisez un système de type «fort» dans le monde réel, par exemple, pour des applications Web à grande échelle?

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 …

29 java haskell scala type-systems rust

3

Un bon système de type générique

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 génériques Java ont échoué de plusieurs …

29 type-systems generics

6

Quel est le compromis pour l'inférence de type?

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 y a des …

29 programming-languages type-systems

7

La notation hongroise est-elle une solution de contournement pour les langues avec un typage statique insuffisamment expressif? [fermé]

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 …

28 naming type-systems static-typing hungarian

6

Quelles sont les mises en garde de l'implémentation de types fondamentaux (comme int) en tant que classes?

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 …

27 object-oriented language-design compiler type-systems

4

Systèmes de types: nominal vs structurel, explicite vs implicite

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 …

24 type-systems

6

Quelle est la procédure courante utilisée lorsque les compilateurs saisissent statiquement des expressions «complexes» de vérification?

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 compilateur - lexer et analyseur - et …

23 language-agnostic compiler type-systems type

1

L'inférence Hindley-Milner pourrait-elle fonctionner pour la langue Go?

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 sous-classes au …

22 haskell type-systems go

1

Pourquoi Haskell n'a-t-il pas d'abstractions lambda au niveau du type?

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 Pair :: * -> …

22 haskell abstraction type-systems lambda

2

Vérification de type et types récursifs (Écriture du combinateur Y dans Haskell / Ocaml)

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 …

21 haskell type-systems static-typing ocaml

Questions marquées «type-systems»