2022/1/13 型コンストラクタを「抽象型」としていたのを「多相型」に修正しました
最近になって、プログラミングにおけるモナドには「モナド則」という規則があることを知り、これを使えばこれまた最近聞いた「JavaScriptのPromiseはモナドである」というのが本当かどうか確かめられるのでは?と思ったので確かめてみた。
続きを読む#JavaScript の #Promise は #モナド である、という話を聞いたのだが、それはマジなんでゲスか?#プログラミング
— Ukicode (@opaupafz2) 2021年12月24日