Questions sur static-typing

30
réponses

Interface vs classe de Base

Quand dois-je utiliser une interface et quand dois-je utiliser une classe de base? devrait-il toujours être ... tre placés sur un animal par animal, mais je ne comprends pas pour l'utiliser pour un animal de compagnie Générique.
demandé sur 2008-09-11 19:20:30
16
réponses

Quelle est la différence entre typé statiquement et dynamiquement typé langues?

j'entends beaucoup dire que les nouveaux langages de programmation sont dactylographiés dynamiquement, mais que signif ... t-il réellement quand nous disons qu'un langage est dactylographié dynamiquement contre statiquement dactylographié?
demandé sur 2009-10-05 02:36:10
9
réponses

Statique / dynamique vs Forte / Faible

je vois ces termes éparpillés partout dans la programmation et j'ai une vague idée de ce qu'ils signifient. Une recher ... férence. Ce serait sympa si quelqu'un pourrait s'il vous plaît préciser clairement là pour moi et le reste du monde.
demandé sur 2010-02-28 16:42:21
5
réponses

Quel est le but des inscriptions de type en Scala?

il n'y a pas beaucoup d'information dans les spécifications sur ce qu'est la prescription, et il n'y a certainement ri ... .lang.Class[_ <: java.lang.Object] = class java.lang.String scala> p.asInstanceOf[String].length res9: Int = 4
demandé sur 2010-01-18 18:51:50
3
réponses

TypeScript: problèmes avec le système de type

je teste juste le typographie dans VisualStudio 2012 et j'ai un problème avec son système de type. Mon site html a une ... u avec des typographies. Ma question est essentiellement une copie de celui-ci TypeScript: casting HTMLElement
demandé sur 2012-12-02 16:46:37
9
réponses

Pourquoi N'y a-t-il pas un modificateur d'Enness en C++ comme il y en a pour la signification?

(je suppose que cette question pourrait s'appliquer à de nombreux langages dactylographiés, mais j'ai choisi D'util ... tement du Programme( sauf pour l'accès byte-wise), alors qu'un changement de signification le feriez habituellement.
demandé sur 2017-11-28 15:02:10
5
réponses

Python 3 et typage statique

Je n'ai pas vraiment porté autant d'attention au développement de Python 3 que je l'aurais souhaité, et j'ai juste rem ... ations de typage statique, en utilisant le paramètre-annotation? Est-ce que l'une des idées paramétrées en Python 3?
demandé sur 2009-08-14 05:47:26
6
réponses

Inconvénients du système de type Scala par rapport à Haskell?

j'ai lu que le système de type de Scala est affaibli par L'interopérabilité Java et ne peut donc pas effectuer certain ... , ou Ai-je tort dans tous les sens? Cette différence est-elle la raison pour laquelle Scala n'a pas de typeclasses?
demandé sur 2010-09-11 05:19:00
3
réponses

Existe-t-il un idiome Haskell pour mettre à jour une structure de données imbriquée?

disons que j'ai le modèle de données suivant, pour garder la trace des statistiques des joueurs de baseball, des équipes ... de comprendre update-in dans le contexte de la programmation fonctionnelle et Haskell et de la dactylographie statique.
demandé sur 2011-09-09 21:44:13
7
réponses

Pourquoi la dactylographie dynamique est-elle si souvent associée aux langues interprétées?

les gens de question Simple: je fais beaucoup de programmation (professionnellement et personnellement) dans des langa ... oi la déconnexion abrupte? Fait-elle partie de la nature des langues interprétées? La programmation orientée objet?
demandé sur 2009-09-08 17:00:36
4
réponses

Existe-t-il des langages de script statiquement typés et intégrables? [fermé]

je me demande s'il existe des langages de script statiquement typés et Embeddables. Python, JavaScript,etc. sont de grand ... juste si quelqu'un connaît des langages de script statiquement typés qui peuvent être intégrés dans une application C++?
demandé sur 2010-04-04 23:03:41
7
réponses

Outils pour le contrôle de type statique en Python

je travaille avec une grande base de codes Python existante et je voudrais commencer à ajouter des annotations de type ... de type en Python 3.5+. Il y a un outil de vérification de type appelé mypy qui est compatible avec PEP 484.
demandé sur 2011-05-17 06:48:17
8
réponses

Est-ce que quelqu'un peut me dire ce qu'une Dactylographie forte et faible signifie Et laquelle est la meilleure?

est-ce que quelqu'un peut me dire ce que "fort" et "faible" signifie Et lequel est le meilleur?
demandé sur 2008-11-27 12:36:57
5
réponses

Quelles langues sont dactylographiées et compilées dynamiquement (et quelles langues sont statiquement dactylographiées et interprétées)?

dans ma lecture sur la dactylographie dynamique et statique, Je ne cesse de me heurter à l'hypothèse que les langues s ... s exceptions, mais essaie d'expliquer pourquoi il a été décidé que ces langues devraient fonctionner de cette façon.
demandé sur 2010-02-24 23:58:28
9
réponses

Existe-t-il un langage de programmation compilé* avec des caractères dynamiques, peut-être même faibles?

je me suis demandé s'il existe un langage de programmation qui compile du code machine/binaire (pas de bytecode alors ... je pense qu'un langage dactylographié, compilé, dynamique mais fort, aurait vraiment du sens, mais est-ce possible?
demandé sur 2010-03-31 21:24:25
5
réponses

Existe-t-il un support pour la saisie statique dans ECMAScript 6 ou 7?

Est-il un soutien pour le typage statique dans ECMAScript 6? Comment sur ECMAScript 7?
demandé sur 2014-03-14 18:25:39
1
réponses

Signature de type Haskell avec plusieurs contraintes de classe

Comment puis-je avoir plusieurs contraintes de classe, donc si A est un Eq et B est un Num, je pourrais dire f :: Eq a = ... t; a -> b, f :: Eq a -> Num b => a -> b et f :: Eq a, Num b => a -> b n'a pas fait ce que je voulais.
demandé sur 2012-06-19 07:03:33
6
réponses

Clojure le typage statique

je sais que cela peut sembler un blasphème pour les aficionados de Lisp (et d'autres amateurs de langues dynamiques), mai ... ) *compile-time-type-checking*) pour forcer le compilateur le faire les vérifications. des idées sur la faisabilité?
demandé sur 2010-11-15 16:10:46
3
réponses

Quelles sont les règles spéciales du compilateur scala pour le type d'unité dans le système de type?

Unit reçoit un traitement spécial par le compilateur lors de la génération du code octet car il est analogue à void sur le ... ar hasard). Donc le compilateur ont des règles spéciales dans ce cas? Ou est-il un processus plus général qui se passe?
demandé sur 2016-12-20 12:05:39
1
réponses

L'État du typage statique optionnel en Python?

J'ai joué avec Typscript depuis un moment maintenant, et je dois dire, lié au fait que nodejs est plus rapide que L'im ... , donc j'espérais que certains des membres impressionnants et sages de SO jetteraient la lumière sur cette question.
demandé sur 2013-08-21 21:50:57
12
réponses

Ne peut pas créer appliquer la fonction avec le langage statique?

j'ai lu qu'avec un langage statiquement typé comme Scala ou Haskell il n'y a aucun moyen de créer ou fournir un Lisp appl ... apply #'list '(list :foo 1 2 "bar")) => (:FOO 1 2 "bar") (apply #'nth (list 1 '(1 2 3))) => 2 Est-ce une vérité?
demandé sur 2010-09-12 06:03:22
3
réponses

Est-il possible de spécifier le type de retour d'une fonction anonyme, en Scala?

je sais que vous pouvez créer une fonction anonyme, et le compilateur en déduire son type de retour: val x = () => { S ... sons de frappe statique, est-il possible de spécifier aussi son type de retour? Je pense que ça clarifierait les choses.
demandé sur 2010-01-18 22:06:35