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, mais là encore, mes applications C # et Java ont un niveau...
J'ai essayé de trouver un moyen de déclarer des typedefs fortement typés, d'attraper une certaine classe de bogues au stade de la compilation. Il arrive souvent que je tape un int dans plusieurs types d'identifiants, ou un vecteur de position ou de vélocité: typedef int EntityID; typedef int...
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...
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
Pourquoi disent-ils que XML offre une sécurité de type et comment est-il exprimé dans le XML lui-même? En quoi est-il différent de JSON (par exemple) qui (si je comprends bien) n'est pas de type
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...
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...
cette page http://golang.org/doc/go_faq.html écrit: bien que Go ait des types statiques, le langage tente de rendre les types plus légers que dans les langages OO typiques Donc ma question est exactement si elle est typée en toute sécurité avec des génériques (comme C #) ou vaguement typée (comme...
Je suis un grand fan de la vérification de type statique. Cela vous empêche de faire des erreurs stupides comme ceci: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too Mais cela ne vous empêche pas de faire des erreurs stupides...
Si j'utilise un non scellé traitou abstract classdans Scala et que j'utilise ensuite la correspondance de modèles, je me demande si le compilateur ne sait pas au moment de la compilation pour ce patternmatch particulier quelles implémentations possibles de ce trait / classe sont disponibles? Donc,...
Existe-t-il un travail décent autour du manque de PHP de génériques qui permettent l'inspection statique du code pour détecter la cohérence des types? J'ai une classe abstraite, que je veux sous-classer et imposer également que l'une des méthodes passe de la prise d'un paramètre d'un type à la...