language-theory

19calore

9risposta

Motivo per la precedenza di instanceof/is

Sia in C#/Java la precedenza dell'operatore di is rispettivamente instanceof porta a qualche brutta parentesi necessaria. Ad esempio invece di scrivere if (!bar instanceof Foo) devi scrivere if (!(bar

79calore

1risposta

Il potere riconoscimento di "moderno" regex

Che classe dei linguaggi fanno reali espressioni regolari moderni in realtà riconoscono? Ogniqualvolta vi è un gruppo che cattura la lunghezza illimitata con un riferimento all'indietro (ad esempio (.

7calore

3risposta

Per curiosità, quante persone qui sanno come vengono compilate le espressioni regolari?

Sto andando oltre nel mio corso di teoria, e sono curioso di sapere quante persone qui sanno che la compilazione di espressioni regolari in realtà è. Ho guardato online e mi sembra che questo sia un a

5calore

2risposta

Perché i nomi formano un tipo e non solo un tipo?

Qualche tempo fa in una delle estensioni Haskell (impossibile trovare il collegamento) e recently in Ur ho trovato che i nomi (ad es. Dei campi record) formano un tipo. Qualcuno può spiegare perché l'

12calore

5risposta

Oltre a Logo ed Emacs Lisp, quali sono gli altri linguaggi puramente dinamici dell'ambito?

Quali sono alcuni esempi di un linguaggio con ambito dinamico? E quali sono le ragioni per scegliere questo design? È perché è facile da implementare?