Sono un Hasobell noob che sta facendo strada attraverso il meraviglioso "Learn You A Haskell For Great Good". Questa domanda è legata ad un passaggio nella sezione chiamata "Kinds and some type-foo" nel capitolo 8. Il passaggio che recita:Confusione riguardo a un passaggio nella sezione "Tipi e qualche tipo-foo" di learnyouahaskell.com
"Fare Frank un'istanza di Tofu è piuttosto semplice Vediamo che tofu prende un . ja (quindi un tipo di esempio di quella forma sarebbe Forse Int) e restituisce un taj. quindi, se si sostituisce Frank con j, il tipo di risultato sarebbe Frank Int Forse. "
Questo mi ha un po 'confuso. Nella mia mente l'ultima frase dovrebbe essere: "Quindi, se si sostituisce t con Frank, il tipo di risultato sarebbe Frank Int Forse"
Qualsiasi spiegazione su dove sto andando male sarebbe molto apprezzata.
Sono con @ehird, è un errore del libro. Dovresti avvisare l'autore a riguardo. Il suo indirizzo email è sulla homepage del libro. –
@Riccardo Gli ho mandato una mail. Grazie per la risposta. – Duncan3142