3
私は自分のコードでそれを使用したいと思いますし、重複しないようにしたいのですが、 "function"や "composition"のような大量の一般的な単語しか含んでいないので、私はそれを見つけることができません。HaskellはHom Functor/Monadとは何を呼びますか?
が完全に具体的には、私は、これは通常((->) e)
と呼ばれる基本的なリーダー(または環境)モナド、ある
instance Functor (x->) where
fmap f p = f . p
'Reader'は、'(( - >)e) 'のラッパーです。また、 'Applicative'インスタンスの場合、' pure'と '(<*>)'は** K **と** S **結合子になります。これは常に楽しいものです。 :] –
これは私が「基本的な読者モナド」と言った理由です。実際のReaderモナドは、基本的な '(( - >)e)'構造の周りの砂糖であり、環境のための補助的な "スコープ"を導入するための 'local'メカニズムにとって大いに役立ちます。 – geekosaur
ありがとうございます! 「リーダー」は私が検索しようとしなかった1つの単語です。 – Owen