Domande con tag 'static-typing'

5
risposte

Linguaggio funzionale con sintassi simile a C [chiuso]

Ho cercato un linguaggio funzionale con sintassi simile a C e tipizzazione statica. Finora la mia scelta sarebbe stata Nemerle . C'è qualcos'altro / meglio? EDIT: la seconda scelta sarebbe Lua o Vai. Qualche pro e contro?     
posta 26.04.2011 - 14:39
1
risposta

Una domanda sui tipi statici

Come si scrive staticamente il seguente programma JavaScript function c(str) { c = eval(str); return c(str); } Non sto cercando di iniziare una guerra di fiamma, ma sono sinceramente curioso. Ho sempre pensato che i linguaggi dinamici p...
posta 01.08.2014 - 17:12
3
risposte

I compilatori possono controllare se certi assiomi sono validi per un tipo definito dall'utente?

Supponiamo che il seguente tipo sia definito (la sintassi C ++, può essere concettualmente applicata a qualsiasi linguaggio tipizzato staticamente.) class T { int val; friend bool operator<(const T& lhs, const T& rhs) {...
posta 27.09.2013 - 13:31
3
risposte

In che modo le lingue tipizzate staticamente gestiscono il rilevamento dei test? [chiuso]

Vengo da uno sfondo Python, quindi sono abituato a una scoperta di test piuttosto automatica. Ad esempio, la libreria py.test individua automaticamente tutti i file che iniziano con test , trova le classi i cui nomi iniziano con Test...
posta 29.03.2014 - 21:08
1
risposta

funzione di callback python con argomenti cattiva pratica?

Ho scritto una classe listener che esegue un callback specificato dal programmatore. Il messaggio è fornito come argomento di callback. Mi sono reso conto che un programmatore che usa la classe avrà bisogno di guardare il mio codice per vedere l...
posta 01.04.2018 - 05:02
2
risposte

C # pratiche statiche provenienti da sfondo dinamico

Sono stato dappled in C # dopo essere venuto da diversi anni in PHP. Non trovo la lingua particolarmente difficile, sebbene ci siano molti più costrutti su cui abituarmi. La mia domanda è di aiutarmi a cambiare il modo di pensare quando uso C...
posta 16.12.2014 - 10:33
2
risposte

Utilizzo di un DTO superset per un numero di metodi in una classe

Considera una classe con un numero di metodi che sono richiesti per restituire un numero di valori ciascuno. In un linguaggio strongmente tipizzato come C #, possiamo avere l'effetto di restituire più quel valore da un metodo utilizzando DTO c...
posta 16.10.2016 - 19:24
3
risposte

TDD con tipi statici predefiniti

Mi piace lavorare in lingue con tipi statici, perché mi piace usare i tipi come strumento per progettare un'API prima di iniziare a codificarlo. Mi piace anche TDD, perché mi aiuta a concentrarmi sul lavoro a piccoli passi per assicurarmi di...
posta 02.01.2017 - 12:14
4
risposte

Funzione locali: variabile utilizzata in una sola funzione

In OOP, ambito statico indica che l'ambito è collegato alla classe e l'ambito dell'istanza è collegato a un'istanza specifica della classe. Alcune lingue supportano locals statici , che consentono di mantenere un valore da una chiamata...
posta 07.06.2011 - 02:23
2
risposte

Che cosa significa "un sistema di tipi [che] non ha gerarchia"?

Stavo leggendo i documenti di Go-lang e ho trovato nella sezione di Tipi che Go non ha una gerarchia di tipi . Che cosa significa esattamente? È come python che i tipi sono stati controllati in fase di runtime (digitati dinamicamente) piutt...
posta 09.12.2016 - 19:22