async/awaitがモナドのDo記法と同じっぽいので検証。throwとcatchもモナドに対応させる - Qiita

JavaScriptにおいて、Promiseのthenを使った書き方を、async/awaitを使って書き換えられるわけですけども その書き換えって、Haskellのモナドでbind(>>=)を使った書き方を、Do記法に書き換えとそっくりじゃないですか？ ということで、どんな感じで対応しているか検証してみます。 コードの全文は最後に載せますね。合わせて60行もないです。 Haskell側のモナドとして、Eitherモナドを使うことにします。 Haskellのコードはimport Data.Eitherしておきます。 記事を通して使う関数 まずは、Promiseやモナドを返す関数ohとyeahを用意します。

[igrep]

“入れ子にできないので違います。”ここでいう「入れ子」っていうのはm (m a)みたいな型の値が作れない、ってことなのかな？JSのPromiseってそうなのか。

[hamamuratakuo]

Promiseはモナドなの？入れ子にできないので違います。今回は入れ子にする場面がなかったのでモナドと同じように振る舞ってますけども。ちなみにRxに出てくるObservableなら入れ子にできるのでモナドだと思います。