DerivingVia
Since: 8.6.1
#WIP
https://mizunashi-mana.github.io/blog/posts/2020/03/deriving-strategies-by-deriving-via/
deriving strategyの概要
具体例を交えながらDerivingViaの解説
DerivingViaがあれば、他の
deriving strategy
を模倣できるというのを1つずつ見ていく
https://speakerdeck.com/konn/ben-dang-hasugoi-newtype
via キーワードを使ってインスタンスを明示的に選択できるようになる
https://kowainik.github.io/posts/deriving#via
/herp-technote/DerivingVia
同型な2つの型があったときに、型クラスのinstanceの実装を共有する
https://qiita.com/mod_poppo/items/1867d06f8a9903441e3c#derivingvia
https://qiita.com/mod_poppo/items/1867d06f8a9903441e3c#derivingvia
https://www.reddit.com/r/haskell/comments/8y98yt/typedriven_safe_derivation_of_tojson_and_fromjson/
https://speakerdeck.com/konn/ben-dang-hasugoi-newtype
https://github.com/konn/newtype-talk-five
https://qiita.com/mod_poppo/items/cf6b66ff16464c170ac2
https://qiita.com/mod_poppo/items/b168b208ea3776676b1f
https://skillsmatter.com/skillscasts/10934-lightning-talk-stolen-instances-taste-just-fine
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0023-deriving-via.rst
chrome-extension://oemmndcbldboiebfnladdacbdfmadadm/
https://www.kosmikus.org/DerivingVia/deriving-via-paper.pdf
https://kowainik.github.io/posts/deriving#via
指定されたcastできる範囲のデータ型のinstanceを流用する
ユースケース
Capabilityパターン