Lambdaカクテル

追記: Shapeless入門を記事にまとめました www.3qe.us 今回はChapter 4を扱う。 Working with types and implicits と題したこの章では、依存型と呼ばれる便利な概念を導入し、これまで説明してきたHList等の概念にさらに柔軟性を与える。 前回はこれ。 blog.3qe.us 用語についての説明 依存型 依存型の有無による利便性の…