La programmation language-design

4

Pourquoi la dernière partie d'un nom de méthode Objective-C doit-elle prendre un argument (quand il y en a plusieurs)?

En Objective-C, vous ne pouvez pas déclarer de noms de méthode où le dernier composant ne prend pas d'argument. Par exemple, ce qui suit est illégal. -(void)take:(id)theMoney andRun; -(void)take:(id)yourMedicine andDontComplain; Pourquoi Objective-C a-t-il été conçu de cette façon? Était-ce juste un artefact de Smalltalk dont personne ne voyait le besoin …

90 objective-c selector language-design

7

Quels sont les points de rigueur de Haskell?

Nous savons tous (ou devrions savoir) que Haskell est paresseux par défaut. Rien n'est évalué tant qu'il n'a pas été évalué. Alors, quand faut-il évaluer quelque chose? Il y a des points où Haskell doit être strict. J'appelle ces «points de rigueur», bien que ce terme particulier ne soit pas …

90 haskell language-design lazy-evaluation strictness

9

Pourquoi concevoir un langage avec des types anonymes uniques?

C'est quelque chose qui m'a toujours dérangé en tant que fonctionnalité des expressions lambda C ++: le type d'une expression lambda C ++ est unique et anonyme, je ne peux tout simplement pas l'écrire. Même si je crée deux lambdas dont la syntaxe est exactement la même, les types résultants …

90 c++ types rust language-design

4

Pourquoi le modèle de fonction ne peut pas être partiellement spécialisé?

Je sais que la spécification du langage interdit la spécialisation partielle du modèle de fonction. J'aimerais savoir pourquoi il l'interdit? Ne sont-ils pas utiles? template<typename T, typename U> void f() {} //allowed! template<> void f<int, char>() {} //allowed! template<typename T> void f<char, T>() {} //not allowed! template<typename T> void f<T, …

87 c++ language-design template-specialization partial-specialization function-templates

7

Impossible de définir des attributs sur l'instance de la classe «objet»

Donc, je jouais avec Python en répondant à cette question , et j'ai découvert que ce n'est pas valide: o = object() o.attr = 'hello' en raison d'un AttributeError: 'object' object has no attribute 'attr'. Cependant, avec n'importe quelle classe héritée de object, elle est valide: class Sub(object): pass s …

87 python attributes language-design

9

Pourquoi C # autorise-t-il {} les blocs de code sans instruction précédente?

Pourquoi C # permet blocs de code sans une déclaration précédente (par exemple if, else, for, while)? void Main() { { // any sense in this? Console.Write("foo"); } }

86 c# syntax language-design

6

Pourquoi n'y a-t-il pas de classe de base en C ++?

Question rapide: du point de vue de la conception, pourquoi est-ce que, en C ++, il n'y a pas de classe de base mère de tous, qu'est-ce qui est généralement objectdans d'autres langages?

84 c++ language-design

Questions marquées «language-design»