問題タブ [some-and-many]
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.
haskell - Haskell: 一部と多数
someとは何の役に立つのmanyですControl.Applicative.Alternativeか? のようなものを書くとsome $ Just 42、無限再帰が発生するようで、あまり役に立ちません...
haskell - 'Alternative'型クラスの'some'および'many'関数
関数someと型クラスmanyは何にAlternative役立ちますか？ドキュメントは、私が理解できなかった再帰的定義を提供します。
haskell - オルタナティブの some と many が haskell の無限再帰関数である理由
私はAlternativehaskellで型クラスを見ていて、これを発行したときにghciで遊んでいました
ハングしたので、Alternative のソース コードを調べました。Alternative のいくつかのデフォルト定義は次のとおりです。
some_vandが間接的に無限再帰的であることは明らかであり、 andmany_vに関して定義されていません。empty<|>
それらがインスタンスによって定義されなければならない場合、デフォルトの定義を持つべきではありませんよね? そして、Maybeそれらを定義していないため、上記のステートメントがぶら下がっているため、ドキュメントに記載されていないため、奇妙に思えます。
では、なぜそのように定義されたのでしょうか。There something I'm missing ですか?