問題タブ [comonad]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
58 問題
0
投票する
1
に答える
360
参照
list - 空でないリストのコモナド
私はコモナドについて熟考してきましたが、空でないリスト (「完全なリスト」) はコモナドであるという直感を持っています。私は Idris で妥当な実装を構築し、共通法則の証明に取り組みましたが、いずれかの法則の再帰分岐を証明することはできませんでした。これ（穴）を証明するにはどうすればよいですか？?i_do_not_know_how_to_prove_this_if_its_provableまたは、私の実装が有効なコモナドであることについて間違っていますか（HaskellのNonEmptyコモナド実装を見てきましたが、私のものと同じようです）？