休業。この質問には、より焦点を当てる必要があります。現在、回答を受け付けていません。 この質問を改善してみませんか?質問を更新して、この投稿を編集するだけで1つの問題に焦点を当てます。 7か月前に閉鎖。 最近、私は実際のケース生産システムの一部でHaskellを使用しようとしています。Haskell型システムは本当に私に大きな助けを提供してくれます。たとえば、あるタイプの関数が必要だと気付いたとき f :: (Foldable t, Monad m) => ( a-> b -> m b) -> b -> t a -> m b そこのような機能は、実際にあるfoldM、foldlMとfoldrM。 ただし、本当にショックを受けたのは、次のようなこれらの関数の定義です。 foldlM :: (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b foldlM f …