2020-05-31から1日間の記事一覧
前週はこちら yuiwai.hatenablog.jp やったこと 今週Type Class Derivationを試してみました https://dotty.epfl.ch/docs/reference/contextual/derivation.html ADTに対してMirrorと呼ばれる付加情報が生成されて、それを使ってよしなに型クラスのインスタ…
前週はこちら yuiwai.hatenablog.jp やったこと 今週Type Class Derivationを試してみました https://dotty.epfl.ch/docs/reference/contextual/derivation.html ADTに対してMirrorと呼ばれる付加情報が生成されて、それを使ってよしなに型クラスのインスタ…