typing

6calore

4risposta

Utilizzo dei tipi di dati in Haskell

Ho iniziato questa nuova domanda poiché è diventata un seguito dalla mia precedente domanda. Se ho due tipi di dati che sono composti da costruttori simili: data A = X | Y | Z data B = X | Y c'è ne

haskell typing subtyping 2012-09-09

---

5calore

2risposta

Uno strano esempio di digitazione in Ocaml

è abbastanza strano che questo frammento di ocaml sia ben digitato dal toplevel. Osserva la struttura, se g è di tipo int-> int come mostrato in toplevel, la parte h x = g x della struttura non sarebb

ocaml typing 2012-06-19

---

5calore

2risposta

Identificatori di tipo Lisp comune

Ho iniziato di recente a trafficare con gli specificatori di tipi per migliorare l'efficienza del codice. This è un elenco di tutti i simboli identificatori di tipo nello standard Common Lisp. Non rie

performance common-lisp typing 2012-03-13

---

13calore

3risposta

Tempo medio di pressione tra i tasti durante la digitazione

Ho cercato di trovare risposte a questo, ma forse non è disponibile una ricerca ampiamente disponibile o forse non sto utilizzando i termini corretti. Fondamentalmente, vorrei avere un'idea del tempo

performance keypress typing response-time 2010-11-04

---

10calore

3risposta

Che sistema di battitura usa BASIC?

Ho notato che da nessuna parte riesco a trovare una risposta definitiva alla domanda di cui sopra. Mi sono chiesto per prima cosa quando ho notato che non hai mai dovuto specificare il tipo di variabi

typing basic 2012-06-23

---

7calore

5risposta

C++ e il suo sistema di tipi: come trattare i dati con più tipi?

"Introduzione" Sono relativamente nuovo al C++. Ho esaminato tutte le informazioni di base e sono riuscito a creare 2-3 semplici interpreti per i miei linguaggi di programmazione. La prima cosa che ha

c++ interpreter typing 2010-04-23

---

23calore

3risposta

Java isInstance vs instanceOf operator

L'intera cosa generica è un po 'come lanciarmi per un ciclo, e più ancora l'RTT. Specificis? Ah bene ecco il succo del discorso: enum QueryHelper { query1, query2; static <T> QueryHelpe

java inheritance rtti typing 2010-11-10

---

15calore

5risposta

Eliminare le schede quando si utilizzano le schede come spazi

So che la tabulazione generale rispetto agli spazi è vecchia quanto le colline e principalmente si riduce alle preferenze personali/si attacca allo stile della propria squadra, volevo solo porre una d

visual-studio tabs spaces typing 2010-06-21

---

5calore

2risposta

defclass informazioni tipo per prestazioni

Nel seguente programma, rimuovendo la riga (declare (type (simple-array bit) arr)) rende esecuzione aumentare il tempo di più di un fattore 3, utilizzando SBCL. Le informazioni sul tipo fornite nell

performance common-lisp sbcl typing clos 2014-04-14

---