Capisco (più o meno) standard monadi come Option (Maybe)
, List
, State
, Reader
, Writer
ecc. Lo sono universale e può essere trovato in qualsiasi applicazione. Altri esempi di universale le monadi sono iteratori, stream, raccolte di dati, ecc.
Ora mi piacerebbe vedere domain-specific monadi. Un esempio è Parser
monade. È non universale come Option
, List
, State
, ecc. poiché incapsula dominio specifico analisi logica.
Quali sono gli altri dominio specifico monadi a cui puoi pensare?