Domande con tag 'haskell'

domande con tag
2
risposte

Che cos'è un buon libro di matematica da tenere sulla mia scrivania mentre studi Haskell? [chiuso]

Ho appena iniziato ad imparare Haskell e sembra che non si possa andare troppo lontano nella lingua senza essere a proprio agio (o almeno esposto) in certi settori della matematica. Sfortunatamente ho dei grossi problemi in queste aree e mi chie...
posta 04.02.2013 - 06:42
3
risposte

Perché la comprensione delle liste "multi-infinite" non funziona con la valutazione lazy?

Come semplice dimostrazione dell'efficienza dello stile Haskell, ho eseguito senza pensieri quanto segue: take 100 [(a, b, c) | a <- [1..], b <- [1..], c <- [1..], a^2 + b^2 == c^2] Questo dovrebbe essere un modo per ottenere...
posta 13.08.2015 - 11:12
2
risposte

Trasmetti un costruttore di dati null tra i tipi

Supponiamo di avere un tipo di dati parametrizzato con più di un costruttore di dati null (costante), come ad esempio: data Check a = Valid | Invalid | Unsure a A volte voglio manipolare i costruttori non costanti con una funzione che manti...
posta 12.06.2016 - 11:32
2
risposte

Perché la lunghezza non è generica per impostazione predefinita?

Haskell spesso fornisce due versioni di una data funzione f, cioè: f :: Int ... genericF :: Integral i => i ... Esistono molte funzioni di libreria standard con queste due versioni: length, take, drop, ecc. Citazione della descrizione...
posta 10.09.2013 - 19:42
1
risposta

Esiste una lingua imperativa con un sistema di tipo Haskell? [chiuso]

Ho cercato di imparare Haskell un paio di volte negli ultimi anni e, forse perché conosco principalmente i linguaggi di scripting, la funzionalità di esso mi ha sempre infastidito (le monadi sembrano un gran casino per fare un sacco di I / O). T...
posta 10.06.2014 - 16:50
2
risposte

Perché non è Limitato una sottoclasse di Enum in Haskell

Sembra che qualsiasi istanza Bounded dovrebbe avere un'implementazione sana di Enum. Non riesco a pensare personalmente a un controesempio, anche se se qualcuno ne presenta uno non patologico, capirò perché non è così. Dal fare :i sui du...
posta 30.03.2016 - 00:39
5
risposte

Perché Haskell non ha una funzione 'format' per l'interpolazione delle stringhe?

Sto provando a utilizzare Shake e mi sono imbattuto nel seguente problema: non esiste un modo facile e conveniente per interpolare una stringa. Conosco Text.Printf - non è quello che sto cercando. La sintassi di interpolazione di cui sto...
posta 24.01.2014 - 15:12
2
risposte

Linee guida per il ritorno di collezioni da funzioni pubbliche

Il problema Immagina di avere una funzione in un'API pubblica che deve restituire una specie di raccolta. Il suo tipo è qualcosa come foo :: a -> b dove b è una sorta di collezione. Per quanto posso vedere, ci sono tre princip...
posta 03.05.2014 - 14:02
2
risposte

Linguaggio che può garantire staticamente che i campi di una mappa siano presenti

Se i dati sono semplici e gli oggetti sono complessi , sono curioso di sapere se esistono lingue digitate che sarebbero in grado di aumentare (?) un tipo di mappa in un tipo con campi garantiti. Mi rendo conto che in fase di esecuzione, in qual...
posta 26.04.2012 - 07:38
3
risposte

scegliere una piattaforma linguistica funzionale per un nuovo progetto [chiuso]

Ho scritto codice per alcuni anni e non credo di poter affermare di avere ancora una conoscenza completa di questo lavoro. La mia esperienza ruota principalmente attorno alle aree correlate a C # con una conoscenza decente su Silverlight e As...
posta 08.03.2012 - 11:14