* ReaderT Monad Transformerの*の目的は何ですか？

Question

Reader monadとReaderTモナドトランスのthe documentationを見ています。

関連の定義は以下のとおりです。

newtype ReaderT k r m a :: forall k. * -> (k -> *) -> k -> * 
type Reader r = ReaderT * r Identity 

私は*の定義に何をしているか理解していません。特に私は、IOを基本モナドとし、r値のクラス制約としてReaderTから新しいモナドを導出しようとしています。

ReaderT（k）の4番目の入力があり、その位置に*を付けるとReaderがその値で何をしているのかわかりません。

Answer 1

*は値を持つタイプの一種である：それはInt、List Intなどのようなものを表します。..

forall kは必ずしもそういうのではないkを意味します。宣言したり操作したりすることはできますが、実行時の値と必ずしも関連付ける必要はありません。その1つの例は、追加の情報を持つ他のタイプを「装飾」したい場合です：刺繍タイプには、それに付加された値の種類はありません。それは「純粋な」情報です。値）

単にここ

より、あなたはReaderにそれがすべて*に特化した取得し、mがIdentityモナドに特化されていることがわかります。それがあなたのIOモナドが欲しい場所です。

制約は、型自体で指定しないことをお勧めします。 typeclassに添付された特定のメソッドを使用する使用時には、その場で追加されます。実際、メソッドを使用しない記述の理由は、呼び出し元に要求することによって負担を負わなければなりません。

（あなたは、Dictのように、他のインスタンスを推測するためにあなたがGADTとランタイム値として型クラスの証人をキャプチャするための非常に良い理由があるが、それはあなたがやりたいことはおそらくない場合を除き）