9calore
3risposta
Qual è il caso generale della funzione di promozione di QuickCheck?
7calore
2risposta
Esiste un termine per una monade che è anche una comonad?
8calore
1risposta
Le leggi del funtore dimostrano la completa conservazione della struttura?
14calore
1risposta
Open Level Proofs in Haskell/Idris
10calore
1risposta
Non è una monade, ma che cos'è?
6calore
3risposta
Monade da tutti gli angoli - Matematica, diagrammatica e programmatica
19calore
1risposta
8calore
1risposta
I tipi di dati haskell sono co-algebre di default?
14calore
3risposta
Il concetto di un "omomorfismo interleaved" è una cosa reale?
31calore
2risposta
Differenza tra monadi liberi e punti fissi dei funtori?