language-design

5calore

2risposta

Sfida di analisi: notazione punto vecchio logico

In "Logic for Mathematicians" di J. Barkley Rosser utilizza una notazione per evitare troppe parentesi. Anche se non so quando i logici iniziano a usare questa notazione, ma so che quel libro pubblica

parsing grammar language-design 2013-08-29

---

13calore

1risposta

Perché String.Contain non chiama direttamente l'overload finale?

Il String.Contains metodo assomiglia a questo internamente public bool Contains(string value) { return this.IndexOf(value, StringComparison.Ordinal) >= 0; } Il IndexOf di sovraccarico che si

c# string oop language-design contains 2013-07-10

---

5calore

1risposta

Assegnazione di URI a risorse RDF

Sto scrivendo un'app desktop utilizzando le tecnologie Gnome e ho raggiunto lo stadio che ho iniziato a pianificare il supporto di Semantic Desktop. Dopo un sacco di brainstorming, schizzo di idee e m

uri rdf language-design ontology privacy 2013-05-29

---

7calore

1risposta

C# readonly vs Java final

In Java, final significa che una variabile può essere assegnata una sola volta, ma tale assegnazione può avvenire in qualsiasi punto del programma. In C#, readonly significa che un campo può essere as

c# .net clr language-design readonly 2013-02-22

---

12calore

2risposta

Perché os.path.join elimina argomenti?

Sto imparando Python e ho notato qualcosa di strano con uno dei miei script. Facendo un po 'di test ho scoperto il problema derivava da questo comportamento: >>> import os >>> os.path.join('a','b')

python language-design 2012-09-26

---

9calore

2risposta

Perché il tipo di ritorno è precedente al nome della funzione?

Il nuovo standard C++ 11 aggiunge una nuova sintassi dichiarazione di funzione con un tipo restituito finale: // Usual declaration int foo(); // New declaration auto foo() -> int; Questa sintass

c++ c++11 language-design return-type function-signature 2012-10-03

---

20calore

2risposta

Sintassi per i riferimenti universali

Si tratta di un riferimento rvalue: void foo(int&& a); E non si lega ad lvalue: int i = 42; foo(i); // error Questo è un riferimento universale: template<typename T> void bar(T&& b); Si lega r

c++ c++11 language-design rvalue-reference forwarding-reference 2013-01-13

---

7calore

1risposta

Java generici - inferendo nidificato tipo

ho definito seguenti classi: class Operation<S> class GetReservationOperation extends Operation<Reservation> Ora vorrei avere una classe come questa: OperationExecutor<T extends Operation<S>> exten

java generics language-design 2013-04-25

---

13calore

2risposta

Switch senza custodia

Oggi ho scoperto per caso che il mio compilatore non si lamenta quando scrive codice all'interno di un'istruzione switch senza un caso. (Si lamentava della mancanza di dichiarazioni di casi, ma dopo a

c++ switch-statement language-design 2013-08-08

---

6calore

4risposta

È possibile aggiungere una parola chiave a C# o VB.NET?

So che potrebbe non valerne la pena, ma solo per scopi didattici voglio sapere se c'è un modo per iniettare le tue parole chiave in linguaggi .NET. Ad esempio, ho pensato che fosse utile avere una par

c# .net vb.net visual-studio language-design 2013-03-13

---