Вопросы с тегом «language-design»

В Objective-C вы не можете объявлять имена методов, если последний компонент не принимает аргумент. Например, следующее недопустимо. -(void)take:(id)theMoney andRun; -(void)take:(id)yourMedicine andDontComplain; Почему Objective-C был разработан таким образом? Был ли это просто артефакт Smalltalk, от которого никто не видел необходимости избавляться? Это ограничение имеет смысл в Smalltalk, поскольку Smalltalk не имеет …

90 objective-c  selector  language-design 

Это то, что меня всегда беспокоило как особенность лямбда-выражений C ++: тип лямбда-выражения C ++ уникален и анонимен, я просто не могу его записать. Даже если я создам две лямбда-выражения, которые синтаксически совершенно одинаковы, результирующие типы определены как разные. Следствием этого является то, что а) лямбда-выражения могут быть переданы только …

90 c++  types  rust  language-design 

Все мы знаем (или должны знать), что Haskell по умолчанию ленив. Ничего не оценивается до тех пор, пока не будет оценено. Итак, когда нужно что-то оценивать? Есть моменты, в которых Haskell должен быть строгим. Я называю это «точками строгости», хотя этот конкретный термин не так широко распространен, как я думал. …

90 haskell  language-design  lazy-evaluation  strictness 

Я знаю, что спецификация языка запрещает частичную специализацию шаблона функции. Хотелось бы узнать, почему он это запрещает? Разве они не полезны? 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, int>() {} //not …

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

Итак, я играл с Python, отвечая на этот вопрос , и обнаружил, что это неверно: o = object() o.attr = 'hello' из-за файла AttributeError: 'object' object has no attribute 'attr'. Однако для любого класса, унаследованного от объекта, это действительно так: class Sub(object): pass s = Sub() s.attr = 'hello' При …

87 python  attributes  language-design 

Почему C # позволяют блоки кода без предшествующего заявления (например if, else, for, while)? void Main() { { // any sense in this? Console.Write("foo"); } }

86 c#  syntax  language-design 

С точки зрения дизайна, почему в C ++ нет единого базового класса, который обычно используется objectв других языках?

84 c++  language-design 

Я часто обнаруживаю, что при отладке программы удобно (хотя, возможно, и плохая практика) вставлять оператор возврата внутри блока кода. Я мог бы попробовать что-то подобное на Java .... class Test { public static void main(String args[]) { System.out.println("hello world"); return; System.out.println("i think this line might cause a problem"); } } …

84 java  language-design  unreachable-statement 

Вот отрывок из руководств Sun по Java : Коммутатор работает с byte, short, charи intпримитивными типами данных. Она также работает с перечисленными типами (обсуждавшихся в классах и наследовании) и несколько специальных классов, «завернуть» некоторые примитивные типы: Character, Byte, Short, и Integer(обсуждаемый в объекты Simple Data). Должна быть веская причина, по …

80 java  switch-statement  long-integer  language-design