Programmazione language-design

9

Perché progettare una lingua con tipi anonimi unici?

Questo è qualcosa che mi ha sempre disturbato come caratteristica delle espressioni lambda C ++: il tipo di espressione lambda C ++ è unico e anonimo, semplicemente non riesco a scriverlo. Anche se creo due lambda sintatticamente identici, i tipi risultanti sono definiti per essere distinti. La conseguenza è che …

91 c++ types rust language-design

4

Perché l'ultima parte del nome di un metodo Objective-C deve accettare un argomento (quando è presente più di una parte)?

In Objective-C, non è possibile dichiarare nomi di metodi in cui l'ultimo componente non accetta un argomento. Ad esempio, quanto segue è illegale. -(void)take:(id)theMoney andRun; -(void)take:(id)yourMedicine andDontComplain; Perché Objective-C è stato progettato in questo modo? Era solo un artefatto di Smalltalk di cui nessuno vedeva la necessità di liberarsi? Questa …

90 objective-c selector language-design

7

Quali sono i punti di rigore di Haskell?

Sappiamo tutti (o dovremmo sapere) che Haskell è pigro per impostazione predefinita. Niente viene valutato fino a quando non deve essere valutato. Quindi quando deve essere valutato qualcosa? Ci sono punti in cui Haskell deve essere severo. Io chiamo questi "punti di rigore", anche se questo termine particolare non è …

90 haskell language-design lazy-evaluation strictness

4

Perché il modello di funzione non può essere parzialmente specializzato?

So che la specifica del linguaggio proibisce la specializzazione parziale del modello di funzione. Vorrei conoscere la logica del perché lo vieta? Non sono utili? 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 …

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

7

Impossibile impostare gli attributi sull'istanza della classe "oggetto"

Quindi, stavo giocando con Python mentre rispondevo a questa domanda , e ho scoperto che questo non è valido: o = object() o.attr = 'hello' a causa di un AttributeError: 'object' object has no attribute 'attr'. Tuttavia, con qualsiasi classe ereditata da object, è valida: class Sub(object): pass s = …

88 python attributes language-design

9

Perché C # consente {} blocchi di codice senza un'istruzione precedente?

Perché C # permette blocchi di codice senza una dichiarazione precedente (ad esempio if, else, for, while)? void Main() { { // any sense in this? Console.Write("foo"); } }

86 c# syntax language-design

6

Perché non esiste una classe base in C ++?

Dal punto di vista del design, perché in C ++ non esiste una classe base madre di tutti, cosa succede di solito objectnegli altri linguaggi?

84 c++ language-design

Domande taggate «language-design»