読者です 読者をやめる 読者になる 読者になる

by shigemk2

当面は技術的なことしか書かない

型レベルプログラミングってなんぞ

Scala

記事の概要

このまえのHaskell読書会で、この記事が挙げられましたので、ちょっと調べたのです。

kmizu.hatenablog.com

変数ではなく型でプログラミングをするというイメージです。

implicitly

ちょくちょく出てくるimplicitlyってなんぞって思ったのですが、型の比較などをしてくれるやつのようです。

github.com

この記事自体は、こちらの記事の翻訳のようで。

Type-Level Programming in Scala, Part 2: implicitly and =:= | Apocalisp