エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
前提: 型クラス 型クラスの話をしています。型クラスは、ダックタイピングのすごく良いやつです(適当)... 前提: 型クラス 型クラスの話をしています。型クラスは、ダックタイピングのすごく良いやつです(適当)(コメントで識者がツッコんでくれる) 型クラス(とその具体例であるインスタンス)にはいろいろあるけど、今回はValidatedとTraverseについて話しているよ 言語によって呼び名はいろいろあるけどここではScala(のCatsライブラリ)での呼び名で書いています ValidatedはApplicative、Functorのインスタンスだよ(ApplicativeとFunctorのインスタンスであることを強調してValidated applicative functorと呼ぶことがあるよ) Monadじゃないよ Monad版はEitherが相当するよ TraverseはFunctorにtraverseという操作を導入した型クラスだよ 例えばListはTraverseのインスタンスだよ V