un système de types est un ensemble de règles qui attribuent une propriété appelée type aux différentes constructions (telles que des variables, des expressions, des fonctions ou des modules) dont un programme informatique est composé.
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...
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...
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...
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...
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) {...
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 : int { } concrete...
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...
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...
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, cela signifie qu'il ne...
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...
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 lequel la variable est...
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 particulière...
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...
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
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 souvent, vous...
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...
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...
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...
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...
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