Génie logiciel type-systems

10

Récemment, j'ai eu un problème de lisibilité de mon code. J'avais une fonction qui effectuait une opération et renvoyait une chaîne représentant l'ID de cette opération pour référence future (un peu comme OpenFile dans Windows renvoyant un descripteur). L'utilisateur utiliserait cet identifiant ultérieurement pour lancer l'opération et surveiller son achèvement. …

141 type-systems

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

16

Comment dois-je stocker les valeurs «inconnues» et «manquantes» dans une variable, tout en conservant la différence entre «inconnu» et «manquant»?

Considérez ceci comme une question "académique". Je me demandais de temps en temps d'éviter les NULL et c'est un exemple où je ne peux pas trouver de solution satisfaisante. Supposons que je stocke les mesures là où, à l'occasion, on sait que la mesure est impossible (ou manquante). Je voudrais …

57 data-structures type-systems data-types

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

14

Quand est-ce que le test de type est OK?

En supposant un langage avec une sécurité de type inhérente (par exemple, pas de JavaScript): Avec une méthode qui accepte a SuperType, nous savons que dans la plupart des cas, nous pourrions être tentés d'effectuer des tests de type pour choisir une action: public void DoSomethingTo(SuperType o) { if (o …

53 type-systems

5

Comment les langues avec des types Maybe au lieu de null gèrent-elles les conditions de bord?

Eric Lippert a fait un point très intéressant dans sa discussion sur les raisons pour lesquelles C # utilise un type nullplutôt qu'un Maybe<T>type : La cohérence du système de types est importante. Pouvons-nous toujours savoir qu'une référence non Nullable n'est jamais considérée comme invalide? Qu'en est-il dans le constructeur …

53 type-systems null

3

Qu'est-ce qu'un système de type?

Contexte Je conçois une langue, en tant que projet parallèle. J'ai un assembleur, un analyseur statique et une machine virtuelle en état de marche. Comme je peux déjà compiler et exécuter des programmes non triviaux en utilisant l'infrastructure que j'ai construite, j'ai pensé à faire une présentation à mon université. …

50 programming-languages language-design inheritance type-systems virtual-machine

8

Y a-t-il une raison d'avoir un type de fond dans un langage de programmation?

Un type de fond est une construction apparaissant principalement dans la théorie des types mathématiques. On l'appelle aussi le type vide. C'est un type qui n'a pas de valeur, mais qui est un sous-type de tous les types. Si le type de retour d'une fonction est le type du bas, …

49 programming-languages type-systems

8

Quels sont les avantages d'un système de types en termes de sécurité?

Dans JavaScript: The Good Parts de Douglas Crockford, il mentionne dans son chapitre sur l'héritage, L’autre avantage de l’héritage classique est qu’il inclut la spécification d’un système de types. Cela libère généralement le programmeur de la nécessité d’écrire des opérations de transtypage explicites, ce qui est une très bonne chose, …

47 type-systems type-safety

7

Tapez les variables de conversion en PHP, quelle est la raison pratique pour cela?

Comme la plupart d’entre nous le savent, PHP est peu typé . Pour ceux qui ne le font pas, PHP.net dit: PHP ne nécessite pas (ni ne prend en charge) la définition de type explicite dans la déclaration de variable; le type d'une variable est déterminé par le contexte dans …

45 php type-systems weak-typing type-casting

5

Pourquoi Java ne fait-il pas d'inférence de type?

Je me suis toujours demandé pourquoi Java ne faisait pas d'inférence de type étant donné que le langage est ce qu'il est et que sa machine virtuelle est très mature. Go's est un exemple de langage avec une excellente inférence et qui réduit le nombre de saisies. Existe-t-il une raison …

44 java programming-languages type-systems data-types

2

Pourquoi (ou pourquoi pas) les types existentiels sont-ils considérés comme de mauvaises pratiques en programmation fonctionnelle?

Quelles sont les techniques que je pourrais utiliser pour refactoriser de manière cohérente le code en supprimant la dépendance aux types existentiels? Celles-ci sont généralement utilisées pour disqualifier les constructions non désirées de votre type, ainsi que pour permettre une consommation avec un minimum de connaissances sur le type donné …

43 functional-programming haskell type-systems

4

Quels sont les arguments en faveur d'un typage faible?

Cela a été abordé lors d'une discussion avec un ami et je me suis trouvé dans l'impossibilité de trouver de bons arguments. Quels avantages confère le typage faible?

40 type-systems type-safety weak-typing

6

Pourquoi l'inférence de type est-elle utile?

Je lis le code beaucoup plus souvent que je l'écris, et je suppose que la plupart des programmeurs travaillant sur des logiciels industriels le font. Je suppose que l’avantage de l’inférence de type est moins de verbosité et moins de code écrit. Par contre, si vous lisez le code plus …

37 programming-languages type-systems

Questions marquées «type-systems»