Sto lavorando sull'estensione camlp4 per la notazione haskell-like in Ocaml, e sto cercando di capire come GHC compila ricorsive do-bindings (abilitato con -XDoRec). Mi chiedo se è possibile che il co
Una semplice domanda, spero: il pacchetto binary definisce due tipi, Get and Put. Il primo è essenzialmente una monade di stato, e il secondo è essenzialmente uno scrittore. Sia lo stato che lo scritt
Mi sono imbattuto in qualcosa che io sono indovinando è un bug in Data.Map, ma che è anche molto probabilmente un bug nella mia conoscenza Haskell. Sperando che qualcuno possa chiarire di cosa si trat
La domanda è principalmente nel titolo. Sembra che mfix può essere definito per qualsiasi calcolo monade, anche se potrebbe divergono: mfix :: (a -> m a) -> m a
mfix f = fix (join . liftM f)
Cosa c