La IOmónada en Haskell a menudo se explica como una mónada estatal donde el estado es el mundo. Entonces, un valor de tipo IO amónada se ve como algo así worldState -> (a, worldState). Hace algún tiempo leí un artículo (o una publicación de blog / lista de correo) que criticaba esta opinión y...