Questions marquées «type-systems»

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é.

1
Motivation et pièges (?) Du mot-clé auto en C ++ 11
Je me demandais récemment pourquoi le mot clé a autoété choisi en C ++ 11 pour marquer une variable dont le type doit être déduit par le compilateur, comme dans auto x = 1; Puisque var semble plus courant dans d'autres langages de programmation (par exemple C #, Scala, JavaScript), …
5
Serait-il sensé d'utiliser des objets (au lieu de types primitifs) pour tout en C ++?
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 gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & …
9
Quels langages typés statiquement prennent en charge les types d'intersection pour les valeurs de retour de fonction?
Note initiale: Cette question a été fermée après plusieurs modifications car je n'avais pas la terminologie appropriée pour énoncer avec précision ce que je cherchais. Sam Tobin-Hochstadt a ensuite posté un commentaire qui m'a fait reconnaître exactement ce que c'était: des langages de programmation qui prennent en charge les types …
2
(Dés) avantages du typage structurel
Je viens de regarder cette conférence de Daniel Spiewak où il parle des avantages du typage structurel par rapport au typage nominal de Scala et Java . Un exemple de cette différence serait le code Java suivant public interface Foo { public int length(); } public interface Bar { public …
1
Pourquoi avez-vous besoin de types plus élevés?
Certains langages permettent des classes et des fonctions avec des paramètres de type (comme List<T>où Tpeut être un type arbitraire). Par exemple, vous pouvez avoir une fonction comme: List<S> Function<S, T>(List<T> list) Cependant, certaines langues permettent d'étendre ce concept d'un niveau supérieur, vous permettant d'avoir une fonction avec la signature: …
2
Les types sont-ils effacés dans Haskell?
Haskell a une notion de «fonctions génériques» qui a une certaine similitude apparente avec le lisp commun - n'ayant aucune expérience avec Haskell ni avec le lisp commun, je pourrais être très approximatif ici. Cela signifie que l'on peut définir une fonction générique to_stringpour définir une représentation sous forme de …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.