type-signature

5calore

3risposta

La firma tipo di un combinatore non corrisponde alla firma di tipo della sua funzione lambda equivalente

considerare questo combinatore: S (S K) applicarlo agli argomenti XY: S (S K) X Y Esso si contrae a: X Y Ho convertito S (SK) nei termini Lambda corrispondenti e ottenuto questo risultato: (\x y

13calore

4risposta

Perché non è possibile inserire firme di tipo nelle dichiarazioni di istanza in Haskell?

Mi piace mettere le firme di tipo per tutte le definizioni di primo livello nel mio codice. Tuttavia, le firme di tipo nelle dichiarazioni di istanza non sembrano essere consentite e, se ne inserisco

14calore

1risposta

Comprendere la firma tipo di gfoldl da Data.Data.Data

Data definisce come una delle sue funzioni fondamentali gfoldl: gfoldl :: (Data a) => (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> a -> c a Qual

6calore

1risposta

Uso di "Forse" di Haskell, tipo dichiarazioni [domanda per principianti]

Ho iniziato a sperimentare con Haskell e ho un problema. qqq è una funzione che dovrebbe stampare una stringa se chiamata con "Nothing" e stampare altre cose se chiamate con "Just something". Il primo

12calore

1risposta

Haskell `tipo di firma forever`

In Haskell perché è di tipo-firma di forever forever :: Monad m => m a -> m b particolare perché non è solo :: Monad m => m a -> m a? Sicuramente il tipo di monade su cui stiamo operando non cambia

13calore

2risposta

Si dovrebbe specificare una firma di tipo per principale o no? Perché perché no?

ho imparato da chapter 9 of Learn You A Haskell For Great Good che Per convenzione, che facciamo di solito non specificare una dichiarazione di tipo per main. Per quanto posso dire, questa convenzione