Todavía estoy aprendiendo programación funcional (con f #) y recientemente comencé a leer sobre expresiones de cálculo. Todavía no entiendo completamente el concepto y una cosa que me mantiene inseguro al leer todos los artículos sobre mónadas (la mayoría de ellas están escritas en base a Haskell) es la relación entre las expresiones de cálculo y las mónadas.
Habiendo escrito todo eso, aquí está mi pregunta (dos preguntas en realidad):
¿Cada expresión de cálculo de F # es una mónada? ¿Se puede expresar cada mónada con la expresión de cálculo F #?
He leído esta publicación de Tomas Petricek y, si la entiendo bien, dice que las expresiones de cálculo son más que mónadas, pero no estoy seguro de interpretar esto correctamente.