モナドの観点から、Promiseの再帰的結合の意味は何ですか?

4
Noname 2017-08-19 11:21.

Javascriptの約束は、技術的にはHaskellの意味でのファンクターでもモナドでもないことを私は知っています。なぜなら(とりわけ)

  • それらには、純粋関数が渡されたときにbindフォールバックする操作が含まれていますmap(したがって、タイプがあいまいです)。
  • Promiseコンストラクターとresolve(別名return)の両方がネストされたpromiseを再帰的に結合します

最初の問題は、常に適切なタイプの関数を提供することで簡単に回避できますa -> Promise b

2番目の問題は、明らかに、パラメトリック多態関数のパラメトリシティ特性に違反しています。つまり、m (m a)構造を構築することはできません。しかし、promise /非同期計算のコンテキストでは、この構造は何を意味するのでしょうか?の意味のあるセマンティクスは考えられません。Promise (Promise a)ここPromiseで、はモナドです。では、何を失うのでしょうか?再帰的結合の意味は何ですか?

私たちがかなり実用的であるとすれば(そしてそれがJavascriptをプログラミングしているときのはずです)、Promiseエッジケースを処理する場合、aがJavascriptのモナドであると主張することはできませんか?

2 answers

3
Bergi 2017-08-19 20:22.

最初の問題は、常に適切なタイプの関数を提供することで簡単に回避できますa -> Promise a

または、モナドthenbind操作としてではなく、いくつかのタイプが正しいものを使用することによって。Creedは、代数的タイプのFantasy-land仕様を提供mapおよびchain実装する、機能を重視したpromiseライブラリです。

第二の問題は、使用しないことで、同じアプローチを用いて同様にバイパスすることができるresolveが、fulfillその代わり、静的of部関数の方法。

しかし、promise /非同期計算のコンテキストでは、この構造は何を意味するのでしょうか?

それは価値の約束の約束です。すべての構成可能なタイプが「意味のある」または「有用な」である必要はありません:-)

ただし、同様のタイプの良い例がFetch APIによって提供されます。これは、Responseオブジェクトに解決されるPromiseを返します。これも、応答の本体に解決されるPromiseを「含みます」。

したがって、Promise (Promise a)成功結果の値は1つだけである可能性があります。これには、を介してアクセスすることもできますPromise aが、2つのレベルの約束

  • 「中間ステップ」を追加して、異なる時間に実行される可能性があります
  • さまざまな原因で拒否される可能性があります。たとえば、外側の問題はネットワークの問題を表し、内側の問題は解析の問題を表します。

Promise型には、拒否の理由から、Either。と同様に2番目の型変数が必要であることに注意してください。2レベルPromise err1 (Promise err2 a)は、とはまったく異なりPromise err aます。

Javascriptの約束は、技術的にはHaskellの意味でのファンクターでもモナドでもないことを私は知っています

ただし、最大の問題についてはまだ言及していません。変更可能です。保留状態から解決済み状態への移行は、実行順序を考慮すると参照透過性を破壊する副作用です。もちろん、Promiseの通常のユースケースには、Promiseタイプでモデル化されていない多くのIOが含まれます。

Promise.delay(50).then(() => Promise.delay(50))
// does something different than
const a = Promise.delay(50); a.then(() => a)

モナドの法則を適用することは楽しく、時には便利ですが、確かに多くの実用主義が必要です。

0
Dmitri Zaitsev 2019-05-29 10:57.

Javascriptの約束は、技術的にはHaskellの意味でのファンクターでもモナドでもないことを私は知っています

Haskellの意味だけでなく、他の方法でも同様です。

  • それらには、純粋関数が渡されたときにマップにフォールバックするバインド操作が含まれています(したがって、タイプがあいまいです)

bindJSネイティブプロミスによって提供される演算子はありません

  • Promiseコンストラクターとresolve(別名return)の両方が、ネストされたPromiseを再帰的に結合します

「theneables」をアンラップすること、つまり、thenそのような関数があるときはいつでもpropの下に格納されている関数を呼び出すことを意味していると思います。

最初の問題は、常に適切なタイプの関数を提供することで簡単に回避できますa -> Promise b

これは、mapたとえば、map(f)がに使用される場合とは異なりf = x => {then: a => a}ます。

2番目の問題は、明らかに、パラメトリック多態関数のパラメトリシティ特性に違反しています。つまり、m (m a)構造を構築することはできません。

確かに。

しかし、promise /非同期計算のコンテキストでは、この構造は何を意味するのでしょうか?の意味のあるセマンティクスは考えられません。Promise (Promise a)ここPromiseで、はモナドです。では、何を失うのでしょうか?再帰的結合の意味は何ですか?

任意の値の保存を許可する必要があります。Promiseは必要なものを(アンラップせずに)保存することを許可されていません。これが問題です。したがって、オブジェクトとメソッドの両方のセマンティクスを変更する必要があります。オブジェクトが変更なしで必要なものを格納できるようにし、必要なものを1回だけアンラップ(または結合)する.bind別名.chainを実装します-再帰はありません。

これはcreed、promiseのようなオブジェクトおよびcpsfyコールバックベース(別名継続渡しスタイル)の関数に対して行うことです。


私たちがかなり実用的であるとすれば(そしてそれがJavascriptをプログラミングしているときのはずです)、エッジケースを処理する場合、PromiseはJavascriptのモナドであると主張できませんか?

安全で簡潔で構成可能なコードを書くことは実用的です。重要なソフトウェアをクラッシュさせて重大な結果をもたらす可能性のあるリークのある抽象化を介して微妙なバグを導入するリスクはありません。すべてのエッジケースは、そのようなリスクの潜在的な原因です。

その点で、それPromiseがモナドであると主張することは、間違っていることに加えて、助けよりも害を及ぼします。モナド変換をプロミスに安全に適用できないため、害があります。たとえば、モナドであるかのように、promiseを使用してモナドインターフェイスに準拠するコードを使用することは安全ではありません。正しく使用された場合、モナドはコードの抽象化と再利用を支援するためのものであり、エッジケースのチェックとハンティングの行を導入するためのものではありません。

Related questions

MORE COOL STUFF

ケイト・ブランシェットは3日間一緒に夫と一緒に寝て、25年経ってもまだ夫と結婚しています

ケイト・ブランシェットは3日間一緒に夫と一緒に寝て、25年経ってもまだ夫と結婚しています

ケイト・ブランシェットは、夫に会ったとき、典型的な交際のアドバイスに逆らいました。

マイケルシーンが非営利の俳優である理由

マイケルシーンが非営利の俳優である理由

マイケルシーンは非営利の俳優ですが、それは正確にはどういう意味ですか?

ホールマークスターのコリンエッグレスフィールドがRomaDramaLiveでスリル満点のファンと出会う![エクスクルーシブ]

ホールマークスターのコリンエッグレスフィールドがRomaDramaLiveでスリル満点のファンと出会う![エクスクルーシブ]

特徴的なスターのコリン・エッグレスフィールドは、RomaDrama Liveでのスリル満点のファンとの出会いについて料理しました!加えて、大会での彼のINSPIREプログラム。

「たどりつけば」をオンラインでストリーミングできない理由

「たどりつけば」をオンラインでストリーミングできない理由

ノーザンエクスポージャーが90年代の最も人気のある番組の1つになった理由を確認するには、Blu-rayまたはDVDプレーヤーをほこりで払う必要があります。

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

ドミニカのボイリング湖:アクセスは簡単ではありませんが、ハイキングする価値があります

ドミニカのボイリング湖:アクセスは簡単ではありませんが、ハイキングする価値があります

ドミニカのボイリング湖は、世界で2番目に大きいボイリング湖です。そこにたどり着くまでのトレッキングは大変で長いですが、努力する価値は十分にあります。

私たちの水をきれいに保つのを助けるためにあなたの髪を寄付してください

私たちの水をきれいに保つのを助けるためにあなたの髪を寄付してください

サロンからのヘアトリミングや個人的な寄付は、油流出を吸収して環境を保護するのに役立つマットとして再利用できます。

ホワイトハウスの最も記憶に残る結婚式を見てください

ホワイトハウスの最も記憶に残る結婚式を見てください

過去200年以上の間にホワイトハウスで結婚したのはほんの数人です。彼らは誰でしたか、そしてそこで結婚式を獲得するために何が必要ですか?

この太陽に優しいショルダーバッグで一日中外出してください

この太陽に優しいショルダーバッグで一日中外出してください

画像クレジット:Richard Mackney / Flickrトラベリングライトは必需品だけを運ぶことを意味するかもしれませんが、デバイスを補充する方法がない外出先では、接続を維持するのが難しくなる可能性があります。それはあなたがすべての生き物の快適さやクールなガジェットを捨てる必要があるという意味ではありません、ただあなたがいくつかのより小さなものを手に入れる必要があるということです、そしておそらくあなた自身をジュースに保つためにいくつかの、例えば非正統的な充電装置を使うでしょう。

ミッドセンチュリーリゾートのポストカードが廃墟に変わるのを見る

ミッドセンチュリーリゾートのポストカードが廃墟に変わるのを見る

ニューヨーク州スプリンググレンにある放棄されたホモワックロッジのボーリング場。キャッツキル南部のこの地域は、ニューヨーク市からのユダヤ人の行楽客に人気があることから、かつてはボルシチベルトとして知られていました。

ブルックリンスレートの美しいボードをあなたのテーブルに座らせましょう

ブルックリンスレートの美しいボードをあなたのテーブルに座らせましょう

ブルックリンスレートブルックリンスレートのマグカップとコースターの賞賛をすでに歌っており、それらの食器製品も同様に堅実です。ブルックリンスレートは、さまざまなサイズとテクスチャのスレートの完全な採石場を販売しています。一部のオプションは赤でも利用できます。上で見ることができるように、彼らは同様にカスタマイズをします。

遺伝子分析により、私たちの体内に生息する微生物の99%がカタログ化されていないことが明らかになりました

遺伝子分析により、私たちの体内に生息する微生物の99%がカタログ化されていないことが明らかになりました

画像:Juan Gaertner / Shutterstock私たちの体の内部は、私たちの細胞とは何の関係もない何十億もの微生物が住んでいる本物の生態系です。これがまだ少し気になることではなかったかのように、これらの微生物の99%が研究されたことがないことがわかりました。

Zendaya Wishes Boyfriend Tom Holland Happy Birthday with Cuddly Photo: He 'Makes Me the Happiest'

Zendaya Wishes Boyfriend Tom Holland Happy Birthday with Cuddly Photo: He 'Makes Me the Happiest'

Zendaya shared a sweet photo in honor of boyfriend Tom Holland's 26th birthday Wednesday

小さな女性:脳卒中を患った後に病院から解放されたアトランタのジューシーな赤ちゃん:「まだ癒し」

小さな女性:脳卒中を患った後に病院から解放されたアトランタのジューシーな赤ちゃん:「まだ癒し」

シーレン「Ms.JuicyBaby」ピアソンは、先月脳卒中で入院した後、「もう一度たくさんのことをする方法を学ばなければならない」ため、言語療法を受けていることを明らかにしました。

エマストーンは彼女のクリフサイドマリブビーチハウスを420万ドルでリストアップしています—中を見てください!

エマストーンは彼女のクリフサイドマリブビーチハウスを420万ドルでリストアップしています—中を見てください!

オスカー受賞者の世紀半ばの家には、3つのベッドルーム、2つのバス、オーシャンフロントの景色があります。

ジーニー・メイ・ジェンキンスは、母乳育児の経験の中で、彼女は「本当に、本当に落ち込んでいる」と言います

ジーニー・メイ・ジェンキンスは、母乳育児の経験の中で、彼女は「本当に、本当に落ち込んでいる」と言います

ジーニー・メイ・ジェンキンスは、生後4か月の娘、モナコに母乳育児をしていると語った。

投資ノート:Bioscout AU$300万シード

投資ノート:Bioscout AU$300万シード

Bioscoutは、農家を運転席に置くという使命を負っています。Artesian(GrainInnovate)やUniseedと並んで、最新のシードラウンドでチームを支援できることをうれしく思います。問題真菌症による重大な作物の損失は、農民にとって試練であることが証明されています。

リトルマーケットリサーチ1| 2022年のクイックグリンプス遠隔医療市場

リトルマーケットリサーチ1| 2022年のクイックグリンプス遠隔医療市場

遠隔医療は、パンデミック後の時代では新しいものではなく、時代遅れの分野でもありません。しかし、業界を詳しく見ると、需要と供給の強力な持続可能性と、米国で絶え間ない革命となる強力な潜在的成長曲線を示しています。

スタートアップ資金調達環境:タイのスタートアップエコシステムの次は何ですか?

スタートアップ資金調達環境:タイのスタートアップエコシステムの次は何ですか?

2021年は、世界的なベンチャーキャピタル(VC)の資金調達にとって記録的な年でした。DealStreetAsiaによると、東南アジアも例外ではなく、この地域では年間で記録的な25の新しいユニコーンが採掘されました。

ムーアの法則を超えて

ムーアの法則を超えて

計算に対する私たちの欲求とムーアの法則が提供できるものとの間には、指数関数的に増大するギャップがあります。私たちの文明は計算に基づいています—建築と想像力の現在の限界を超える技術を見つけなければなりません。

Language