Ho un metodo factory Java con una matrice varargs di Object s alla fine. La matrice può contenere qualsiasi combinazione di String s e ScaledJpeg s. La teoria è che una cella di tabella HTML può contenere un numero qualsiasi di no...
Non capisco la risposta a questa domanda:
Q: Can Haskell find a type for the function selfapply defined by: selfapply f = f f
A: The function selfapply is not typeable in the simple system of types: we need to associate to f two types...
Sto cercando di determinare come gestire tipi e conversioni tra tipi all'interno di un compilatore che sto scrivendo. Il compilatore è stato scritto in C #.
Esistono diversi tipi di tipi.
Classi (sola lettura / non modificabile)
Tipi mu...
Ho spesso desiderato la stessa funzione richiesta ad es. qui e in molti altre domande su SO:
Essere in grado di specificare che qualcosa soddisfa più interfacce senza specificare il tipo concreto.
es. in C # pseudo sintassi
(IEnumerabl...
Sto progettando un linguaggio e mi stavo chiedendo come incorporare riferimenti simili a C ++ per quanto riguarda la loro posizione nel sistema di tipi. Penso che siano utili per operazioni come indicizzazione e dereferenziazione ( v[i] res...
Non capisco la connessione tra inferenza di tipo e sistemi di tipi avanzati. Non vedo perché Haskell o Standard ML o OCaml non possano esistere senza inferenza di tipo. La mia unica ipotesi è che l'inferenza di tipo avrebbe potuto essere una ten...
Di seguito sono riportati i tipi rilevanti (in java) per l'elaborazione delle annotazioni,
Oltre a Field & Method types, Package type è usato anche nel contesto delle annotazioni con reflection, perché questi tipi im...
Possiamo dire che Java o C # sono lingue OO con un albero di ereditarietà unificata / un sistema di tipi unificato?
Con un albero di ereditarietà unificato / un sistema di tipo unificato intendo che ogni classe deriva implicitamente o esplicitam...
Il nostro codice JavaScript / Vue frontend fa uso di un numero di endpoint REST "interni", che sono implementati in Java usando Jersey / jax-rs.
Abbiamo una specifica "informale" che elenca le diverse operazioni di REST e descrive i "bean" ch...
Sarei interessato a definire formalmente (e di conseguenza a dimostrare) un "sistema di tipi" per, beh, un sistema di tipi. Più specificamente, vorrei esplorare l'idea di ciò che C ++ chiama concetti per la mia tesi di laurea. Come si dovrebb...