'返品'と '純粋'の差

Question

returnとpureの違いはControl.Applicativeですか？ doブロックの最後でもpureを使用できるようですか？

他の人よりも優先する必要がある状況はありますか（誰もがブロックの末尾にreturnが必要です）。

Answer 1

GHC 7.8以前では、ApplicativeはMonadのスーパークラスではありませんでした。 MonadインスタンスにApplicativeインスタンスを持たないことも可能でした。しかし、pureとreturnは、両方のインスタンスである型に対して同じ動作をする必要があります。 Functor-Applicative-Monad ProposalにGHC 7.10で

、Applicativeは現在Monad（class Applicative m => Monad m）のスーパークラスであり、それは今pureとreturnすべてMonadインスタンスで同じでなければならないルールです。実際、returnの既定の実装は、the source on hackageに示すように、pureになりました。

pureは、という制約がありません。Applicativeという制約があり、関数がより一般的になるため、returnよりも優先される可能性があります。 returnは、歴史的な前例のために表記でpureよりも好ましい場合がありますが、pureを使用してもまったく同じ効果が得られます。

Answer 2

Monadの後に適用型のクラスが追加されており、歴史的にはMonadクラスはApplicativeのサブクラスではありません。これは、Applicative-Monad-Proposalでかなり最近変更されました。つまり、return aは、Monadインスタンスごとにpure aに相当するはずです。

pureの別名にMonadクラスのうちreturnを移動させるためのproposalがあります。

したがって、Monadを扱う場合は、returnの代わりにpureを常に使用することができます。ただし、は、Applicativeを返すだけなので、returnより一般的な型を持っているため、別の方法は使用できません。たとえば、次の

wontCheck :: Applicative f => f Int 
wontCheck = return 4 

はreturnはMonadするfを必要とするので、型チェックはありません。