type-systems

22calore

4risposta

Haskell è un linguaggio di programmazione fortemente tipizzato?

Haskell è fortemente digitato? Cioè è possibile cambiare il tipo di una variabile dopo averne assegnata una? Non riesco a trovare la risposta su Internet.

8calore

2risposta

In Haskell, come si restringono le funzioni a un solo costruttore di un tipo di dati?

Non sono sicuro di come rispondere a questa domanda. Diciamo che sto provando a passare i percorsi dei file tmp, e voglio catturare l'idea che ci sono diversi formati di tmpfile, e ogni funzione funzi

7calore

2risposta

Haskell: Specificare vincoli di uguale lunghezza delle liste nel sistema tipo

In Haskell, mi hanno spesso una funzione come f, che accetta una lista e restituisce una lista di uguale lunghezza: f :: [a] -> [a] -- length f(xs) == length xs Allo stesso modo, potrei avere una fu

5calore

1risposta

Scala Tipo di limite superiore non compreso

Sto leggendo la programmazione funzionale in Scala e nel capitolo 04 gli autori implementano l'opzione da soli. Ora, quando si definisce la funzione getOrElse che utilizzano un limite superiore per li

7calore

2risposta

Scala: c'è un modo per creare tipi in linea?

Fondamentalmente, mi piacerebbe essere in grado di scrivere qualcosa del genere: val x :('k1.type, Int) = 'k1 -> 1 val y :('k2.type, Int) = 'k2 -> 2 Dove tipi di X e Y non sono compatibili, ma in e

6calore

3risposta

covarianza e varianza vibrazione in scala

In Scala per la Impaziente Si dice che funzioni sono controindicati variante loro argomenti e covariante nel loro tipo di risultato Questo semplice e facile da capire, tuttavia nello stesso argomento

5calore

1risposta

Perché i caratteri jolly Java sono più potenti della varianza del sito di utilizzo?

Ho letto spesso che i caratteri jolly Java sono un concetto più potente del concetto di varianza del sito d'uso. Ma a mio avviso, il concetto di jolly Java è esattamente uguale a il concetto di varian

5calore

3risposta

Come definire un tipo di tipo superiore di tipo esistenziale in Scala

Stavo cercando di definire un tipo che accetta un tipo di tipo superiore di tipo esistenziale in Scala. Sfortunatamente Scalac non lo consente. Welcome to Scala version 2.11.7 (Java HotSpot(TM) 64-Bit

8calore

1risposta

EWS: NetworkCredential non è compatibile con ExchangeCredentials in F #

mi piace utilizzare l'API Microsoft.Exchange.WebService: C# funziona bene ExchangeService service = new ExchangeService(userData.Version); service.Credentials = new NetworkCredential(userData.EmailAd

6calore

1risposta

È effettivamente possibile rimuovere "Pi" da Calculus of Constructions?

L'articolo Simpler, Easier! afferma che potrebbe essere possibile codificare i sistemi di tipi dipendenti anche senza la presenza di "Pi", ovvero, è possibile riutilizzare il costruttore "Lam" per que