Génie logiciel static-typing

20

La dactylographie statique vaut-elle la peine?

J'ai commencé à coder en Python principalement là où il n'y a pas de sécurité de type, puis je suis passé à C # et Java où il y en a. J'ai découvert que je pouvais travailler un peu plus rapidement et avec moins de maux de tête avec Python, …

108 data-types dynamic-typing static-typing type-safety

7

Quelles fonctionnalités permettent le typage dynamique? [fermé]

J'utilise Python depuis quelques jours maintenant et je pense comprendre la différence entre le typage dynamique et statique. Ce que je ne comprends pas, c’est dans quelles circonstances on le préférerait. Il est flexible et lisible, mais au détriment de davantage de contrôles d’exécution et de tests unitaires supplémentaires requis. …

91 dynamic-typing static-typing

5

Existe-t-il une corrélation entre l'ampleur du projet et la rigueur de la langue?

En expliquant la différence entre la rigueur des langues et les paradigmes à un de mes collègues, j'ai fini par affirmer que: Les langages tolérants, tels que les langages dynamiques et interprétés, sont mieux utilisés pour les prototypes et les petits projets ou les applications Web de taille moyenne. Lorsque …

72 programming-languages dynamic-typing language-choice static-typing static-analysis

7

Études sur les langages à typage dynamique vs statique [fermé]

Existe-t-il des études sur l'efficacité des langages statiquement et dynamiquement typés? En particulier: Mesures de la productivité du programmeur Taux de défauts Comprend également les effets de l’utilisation ou non de tests unitaires. J'ai vu beaucoup de discussions sur les mérites de chaque côté, mais je me demande si quelqu'un …

69 productivity comparison type-systems dynamic-typing static-typing

4

Le système de types de Haskell est-il formellement équivalent à celui de Java? [fermé]

Je réalise que certaines choses sont plus faciles / plus difficiles dans une langue que dans l'autre, mais je ne m'intéresse qu'aux fonctionnalités liées au type qui sont possibles dans l'une et impossibles / non pertinentes dans l'autre. Pour le rendre plus spécifique, ignorons les extensions de type Haskell car …

66 java haskell type-systems static-typing

14

Est-ce une mauvaise idée de renvoyer différents types de données à partir d'une seule fonction dans un langage typé dynamiquement?

Ma langue principale est typée de manière statique (Java). En Java, vous devez renvoyer un type unique de chaque méthode. Par exemple, vous ne pouvez pas avoir une méthode qui retourne conditionnellement un Stringou retourne conditionnellement un Integer. Mais en JavaScript, par exemple, c'est très possible. Dans un langage typé …

65 javascript dynamic-typing static-typing

10

Pourquoi les langages POO statiques forts traditionnels empêchent-ils d'hériter des primitives?

Pourquoi est-ce correct et surtout attendu: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... alors que ce n'est pas correct et que personne ne se plaint: concrete type Name : string { } concrete type Index …

53 type-systems static-typing strong-typing

1

Pourquoi le monde .Net semble-t-il adopter des chaînes magiques au lieu d’alternatives statiques?

Donc, je travaille en .Net. Je fais des projets open source en .Net. L’un de mes plus gros problèmes n’est pas nécessairement lié à .Net, mais à la communauté et aux cadres qui l’entourent. Il semble partout que les systèmes de nommage et les chaînes de caractères magiques soient considérés …

47 c# .net asp.net-mvc static-typing xaml

11

Pourquoi PHP a-t-il des interfaces?

J'ai remarqué que depuis PHP5, des interfaces ont été ajoutées au langage. Cependant, comme PHP est typé de manière si vague, il semble que la plupart des avantages de l’utilisation des interfaces soient perdus. Pourquoi est-ce inclus dans la langue?

35 php object-oriented interfaces static-typing duck-typing

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

3

Les langages dynamiques présentent-ils un réel avantage? [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 5 ans . Je veux d'abord dire que …

29 languages dynamic-typing static-typing

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

4

Différences architecturales entre les langages dynamiques et statiques

Existe-t-il des différences architecturales majeures lors de la conception d'applications qui seront construites sur des langages statiques (tels que C # ou Java) et des langages dynamiques (tels que Ruby ou Python)? Quelles sont les possibilités de conception qui pourraient être un bon choix pour un type qui est mauvais …

22 design architecture dynamic-typing static-typing

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

5

Utilisation de classes statiques comme espaces de noms

Cette question a été migrée depuis Stack Overflow car il est possible d'y répondre sur Software Engineering Stack Exchange. Migré il y a 8 ans . J'ai vu d'autres développeurs utiliser des classes statiques comme espaces de noms public static class CategoryA { public class Item1 { public void DoSomething() …

21 c# c++ object-oriented static-typing namespace

Questions marquées «static-typing»