ポスト
昨日Scalaを触ってたんだけど、型コンストラクタへの型の部分適用をしたい時に多相的なまま残したい引数にスター(*)が使えなくてそこそこ悩んで時間を使っちゃった。 Applicative[Either[E, *]]って書けなくて、代わりに型ラムダを使ってApplicative[[A] =>> Either[E, A]]と書くみたい。
メニューを開くみんなのコメント
メニューを開く
あるいは型ラムダにちゃんと名前を付けてやるとか。 type EitherE[A] = Either[E, A] // type EitherE = [A] =>> Either[E, A]と同じ Applicative[EitherE]