Quando penso alla parola "computazione", la mia mente salta al calcolo lambda o alle operazioni su una macchina a stati che rappresenta una CPU. È una definizione abbastanza ampia.
Ora alcune persone parlano di monadi come "rappresentante un'unità di calcolo".
Ma se consideriamo la monade dell'identità - questo è un "riferimento al calcolo". Ma in definitiva stiamo quasi certamente parlando di programmazione funzionale. Usiamo funzioni. Utilizziamo le funzioni per trasformare i dati. Da dove viene questo linguaggio di fantasia?
La mia domanda è: Quando diciamo che una monade "incapsula un calcolo" - sta solo dicendo "avvolge una trasformazione funzionale dei dati"?