Articles of tipi

Qual è lo scopo di Rank2Types?

Non sono molto abile in Haskell, quindi questa potrebbe essere una domanda molto facile. Quali limitazioni linguistiche risolvono Rank2Types ? Le funzioni in Haskell non supportano già argomenti polimorfici?

Migliori pratiche per la memorizzazione di indirizzi postali in un database (RDBMS)?

Esistono buoni riferimenti per le migliori pratiche per la memorizzazione di indirizzi postali in un RDBMS? Sembra che ci siano un sacco di compromessi che possono essere fatti e molti pro e contro a ciascuno da valutare – sicuramente questo è stato fatto più e più volte? Forse qualcuno ha almeno scritto alcune lezioni apprese […]

Cos’è un tipo esistenziale?

Ho letto l’articolo di Wikipedia Tipi esistenziali . Ho capito che si chiamano tipi esistenziali a causa dell’operatore esistenziale (∃). Non sono sicuro di quale sia il punto, però. Qual è la differenza tra T = ∃X { X a; int f(X); } e T = ∀x { X a; int f(X); } ?

Qual è la differenza tra size_t e int in C ++?

In diversi esempi C ++ vedo un uso del tipo size_t dove avrei usato un int semplice. Qual è la differenza e perché size_t dovrebbe essere migliore?

Imansible accedere alla proprietà sul tipo Swift da Objective-C

Sto tentando di accedere a Double? Swift class Double? proprietà da Objective-C. class BusinessDetailViewController: UIViewController { var lat : Double? var lon : Double? // Other elements… } In un’altra vista controller, sto cercando di accedere a lat come segue: #import “i5km-Swift.h” @interface ViewController () @property (strong, nonatomic) BusinessDetailViewController *businessDetailViewController; @end @implementation ViewController – (void)viewDidLoad […]

Come scrivere una funzione per numeri generici?

Sono abbastanza nuovo per F # e trovare l’inferenza di tipo è davvero una cosa interessante. Ma al momento sembra che potrebbe anche portare alla duplicazione del codice, che non è una cosa interessante . Voglio sumre le cifre di un numero come questo: let rec crossfoot n = if n = 0 then 0 […]

È sicuro assumere un confronto rigoroso in una dichiarazione di commutazione JavaScript?

Ho una variabile che può essere sia boolean false , sia un intero (incluso 0). Voglio metterlo in una dichiarazione switch come: switch(my_var){ case 0: // Do something break; case 1: // Do something else break; case false: // Some other code } Nei miei test su Google Chrome, sembra funzionare perfettamente, ma sono un […]

Che cosa è esattamente un cast di tipo in C / C ++?

Che cosa è esattamente un cast di tipo in C / C ++? Come verifica il compilatore se è necessario un typecast esplicito (e valido)? Confronta lo spazio richiesto per un valore? Se ho per esempio: int a; double b = 15.0; a = (int) b; Se ricordo bene, un doppio valore richiede più spazio […]

Conversione del stream di int in char in java

A questo probabilmente è stata data un’altra risposta, ma come si ottiene il valore del carattere di un valore int? In particolare, sto leggendo uno da un stream tcp e il lettore .read () metodo restituisce un int. Come ottengo un carattere da questo?

Quando dovrei usare std :: size_t?

Mi stavo solo chiedendo dovrei usare std::size_t per loops e roba invece di int ? Per esempio: #include int main() { for (std::size_t i = 0; i < 10; ++i) { // std::size_t OK here? Or should I use, say, unsigned int instead? } } In generale, qual è la migliore pratica in merito a […]