記事の概要
このまえのHaskell読書会で、この記事が挙げられましたので、ちょっと調べたのです。
変数ではなく型でプログラミングをするというイメージです。
implicitly
ちょくちょく出てくるimplicitlyってなんぞって思ったのですが、型の比較などをしてくれるやつのようです。
この記事自体は、こちらの記事の翻訳のようで。
Type-Level Programming in Scala, Part 2: implicitly and =:= | Apocalisp
このまえのHaskell読書会で、この記事が挙げられましたので、ちょっと調べたのです。
変数ではなく型でプログラミングをするというイメージです。
ちょくちょく出てくるimplicitlyってなんぞって思ったのですが、型の比較などをしてくれるやつのようです。
この記事自体は、こちらの記事の翻訳のようで。
Type-Level Programming in Scala, Part 2: implicitly and =:= | Apocalisp