static-typing

14La chaleur

5Répondre

Je veux faire de la métaprogrammation dans une langue typée statiquement, où mes programmes et mes méta-programmes seront tapés. Je veux dire ceci dans un sens fort: si mon générateur de programme com

63La chaleur

5Répondre

Quel est le but de type ascriptions dans Scala?

Il n'y a pas beaucoup d'informations dans la spécification sur quel type d'inscription est, et il n'y a certainement rien là-dedans sur le but pour cela. A part "faire marcher les varargs", qu'est-ce

18La chaleur

3Répondre

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

Je sais que vous pouvez créer une fonction anonyme, et que le compilateur déduisent son type de retour: val x =() => { System.currentTimeMillis } Juste pour l'amour de typage statique, est-il possib

16La chaleur

6Répondre

Connaissez-vous une langue avec le type statique vérifiant où le code est des données?

Pouvez-vous nommer des langages avec vérification de type statique (comme Java) et où le code est des données (comme dans LISP)? Je veux dire les deux choses dans une langue.

2La chaleur

2Répondre

Boo: spécifiant explicitement le type d'un hachage

Je suis nouveau à Boo, et en essayant de comprendre comment déclarer le type d'un hachage. Quand je fais: myHash = {} myHash[key] = value (later) myHash[key].method() le compilateur s

84La chaleur

5Répondre

Est-ce que le moulage Java introduit des frais généraux? Pourquoi?

Y a-t-il des frais généraux lorsque nous jetons des objets d'un type à un autre? Ou le compilateur résout tout et il n'y a aucun coût à l'exécution? Est-ce une généralité, ou existe-t-il des cas diffé

2La chaleur

1Répondre

Comment définir une fonction qui peut renvoyer un pointeur sur lui-même?

Je veux écrire du code comme ceci: /*something*/ Fn() { ... } int main() { /*something*/ fn = Fn; while(fn) fn = fn(); return 0; } Est-il possible de le faire est un type complète

-1La chaleur

3Répondre

Langages de programmation explicitement statiquement typés

Je suis curieux. Je suis intéressé de savoir si des langages existent comme C++ et Java, en ce que la langue est: (a) Explicitement (c'est-à-dire non par déduction) statiquement typé, (b) Orienté obje

3La chaleur

1Répondre

Utilisation de scala pour appeler java.util.Hashtable # put

J'ai un problème inattendu d'appel mis sur une hashtable old-school. Que se passe t-il ici? Welcome to Scala version 2.8.0.final (Java HotSpot(TM) Client VM, Java 1.6.0_21). Type in expressions to ha

9La chaleur

3Répondre

Fatigué des tests non sémantiques pour compenser le typage dynamique - suggestions?

J'avais l'habitude de faire beaucoup de programmation web dans Rails (PHP avant cela) avant de commencer à étudier l'ingénierie informatique. Depuis, j'ai fait beaucoup de travail scolaire en C, et qu