static-typing

7calore

2risposta

Perché la dichiarazione di tipo è importante in un linguaggio tipizzato in modo statico?

Sto cercando di capire il vantaggio di un linguaggio di programmazione che viene tipizzato staticamente, e attraverso questo, mi chiedo perché dobbiamo includere il tipo nella dichiarazione? Serve a q

13calore

2risposta

cosa viene tipizzato staticamente in RPython?

Spesso si afferma che RPython (un sottoinsieme di Python) è tipizzato staticamente. (Ad esempio su Wikipedia.) Inizialmente, mi chiedevo come avrebbero aggiunto quello a Python e pensavo che avrebbero

53calore

6risposta

Svantaggi del sistema di tipo Scala rispetto a Haskell?

Ho letto che il sistema di tipi di Scala è indebolito dall'interoperabilità di Java e quindi non può eseguire alcuni degli stessi poteri del sistema di tipi di Haskell. È vero? La debolezza è dovuta a

8calore

1risposta

Come installare mypy-lang su python 2.7?

La nuova versione 2.7 dovrebbe sostenere, ma pip-installazione fallisce con uno SyntaxError su una linea con Python 3 la sintassi tipo di annotazione (che è un pò ironico): Traceback (most recent call

12calore

5risposta

Cosa impedisce ad un linguaggio tipizzato staticamente di avere qualcosa come il metodo_missing di Ruby?

Non ho molta esperienza con i linguaggi tipizzati staticamente (attualmente sto imparando Scala e lo adoro!) Ma una cosa che ho notato è che non sembrano mai avere qualcosa come il metodo_missing di R

16calore

6risposta

Conosci una lingua con il tipo statico che controlla dove il codice è dati?

È possibile denominare le lingue con controllo di tipo statico (come Java) e dove il codice è dati (come in LISP)? Intendo entrambe le cose in una sola lingua.

23calore

6risposta

Clojure static typing

So che questo può sembrare una bestemmia per gli appassionati di Lisp (e altri amanti dei linguaggi dinamici), ma quanto sarebbe difficile migliorare il compilatore Clojure per supportare il controllo

53calore

3risposta

TypeScript: problemi con il sistema di tipi

Sto solo testando dattiloscritto in VisualStudio 2012 e ho un problema con il suo sistema di tipi. Il mio sito html ha un tag canvas con l'id "mycanvas". Sto provando a disegnare un rettangolo su ques

8calore

2risposta

In che modo Lisp può essere sia dinamico sia compilato?

Okay, prima per ottenere questo fuori del modo: Ho letto la seguente risposta: How is Lisp dynamic and compiled? ma io non capisco la sua risposta. In un linguaggio come Python, l'espressione: x = a +

8calore

3risposta

Simulazione degli aspetti della tipizzazione statica in una lingua con dattilografia

Nel mio attuale lavoro sto costruendo una suite di script Perl che dipendono fortemente dagli oggetti. (usando Perl's bless() su un hash per avvicinarsi il più possibile a OO) Ora, per mancanza di un