2019-04-21から1日間の記事一覧
数学でいうモナドの定義と、Haskellで普段使っているモナドの定義は、一見違うように見えるが、実は、クライスリカテゴリを通じて、同じだという話(雑な理解)。 http://emorehouse.web.wesleyan.edu/research/talks/monad_rosetta.pdf the seemingly diffe…
数学でいうモナドの定義と、Haskellで普段使っているモナドの定義は、一見違うように見えるが、実は、クライスリカテゴリを通じて、同じだという話(雑な理解)。 http://emorehouse.web.wesleyan.edu/research/talks/monad_rosetta.pdf the seemingly diffe…