Programowanie language-design

7

Wszyscy wiemy (lub powinniśmy wiedzieć), że Haskell jest domyślnie leniwy. Nic nie jest oceniane, dopóki nie musi zostać ocenione. Kiedy więc trzeba coś ocenić? Są punkty, w których Haskell musi być surowy. Nazywam te „punktami ścisłości”, chociaż ten konkretny termin nie jest tak rozpowszechniony, jak myślałem. Jeśli chodzi o mnie: …

90 haskell language-design lazy-evaluation strictness

9

Po co projektować język z unikalnymi anonimowymi typami?

To jest coś, co zawsze mnie niepokoiło jako cecha wyrażeń lambda w C ++: typ wyrażenia lambda w C ++ jest unikalny i anonimowy, po prostu nie mogę go zapisać. Nawet jeśli utworzę dwie lambdy, które są dokładnie takie same pod względem składniowym, otrzymane typy są definiowane jako różne. Konsekwencją …

90 c++ types rust language-design

4

Dlaczego ostatnia część nazwy metody Objective-C musi przyjmować argument (jeśli jest więcej niż jedna część)?

W Objective-C nie można zadeklarować nazw metod, w których ostatni składnik nie przyjmuje argumentu. Na przykład poniższy kod jest niedozwolony. -(void)take:(id)theMoney andRun; -(void)take:(id)yourMedicine andDontComplain; Dlaczego Objective-C został zaprojektowany w ten sposób? Czy to tylko artefakt Smalltalk, którego nikt nie widział potrzeby się pozbyć? To ograniczenie ma sens w Smalltalk, ponieważ …

90 objective-c selector language-design

7

Nie można ustawić atrybutów w instancji klasy „object”

Tak więc bawiłem się Pythonem, odpowiadając na to pytanie i odkryłem, że to nie jest poprawne: o = object() o.attr = 'hello' z powodu AttributeError: 'object' object has no attribute 'attr'. Jednak z każdą klasą dziedziczoną z obiektu jest to poprawne: class Sub(object): pass s = Sub() s.attr = 'hello' …

88 python attributes language-design

4

Dlaczego szablon funkcji nie może być częściowo wyspecjalizowany?

Wiem, że specyfikacja języka zabrania częściowej specjalizacji szablonu funkcji. Chciałbym poznać uzasadnienie, dlaczego tego zabrania? Czy nie są przydatne? 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 allowed!

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

9

Dlaczego C # zezwala na {} bloki kodu bez poprzedzającej instrukcji?

Dlaczego C # pozwalają bloki kodu bez uprzedniego oświadczenia (np if, else, for, while)? void Main() { { // any sense in this? Console.Write("foo"); } }

86 c# syntax language-design

6

Dlaczego w C ++ nie ma klasy bazowej?

Szybkie pytanie: z punktu widzenia projektowania, dlaczego w C ++ nie ma klasy podstawowej, która jest matką wszystkiego, co zwykle jest objectw innych językach?

84 c++ language-design

8

Dlaczego w Javie pojawia się błąd kompilatora „nieosiągalna instrukcja”?

Często stwierdzam, że podczas debugowania programu wygodne jest (choć może to być złą praktyką) wstawienie instrukcji return wewnątrz bloku kodu. Mogę spróbować czegoś takiego w Javie ... 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"); } } oczywiście …

84 java language-design unreachable-statement

6

Dlaczego w standardowych bibliotekach Pythona nie ma posortowanych kontenerów?

Czy istnieje decyzja projektowa w języku Python (PEP), która uniemożliwia dodanie posortowanego kontenera do Pythona? ( OrderedDictnie jest sortowanym kontenerem, ponieważ jest uporządkowany według kolejności reklamowej).

83 python language-design sortedset sortedmap

4

Dlaczego typ danych instrukcji przełącznika nie może być długi, Java?

Oto fragment samouczków Java firmy Sun : Przełącznik działa z byte, short, chari intprymitywnych typów danych. Działa również z wymienionych typów (omówionych klas i dziedziczenie) i kilka specjalnych klas, które „wrap” pewne prymitywne typy: Character, Byte, Short, i Integer(omówione w prosty Data Objects). Musi istnieć dobry powód, dla którego longpierwotny …

80 java switch-statement long-integer language-design

Pytania otagowane jako language-design