Scalaマクロ Tips： マクロを使った静的チェックの事例紹介 | PABlogTwitterGithubOld BlogScalaマクロ Tips： マクロを使った静的チェックの事例紹介 2013年10月18日今回はマクロを使った静的(コンパイル時)チェックの事例についていくつか紹介したいと思います。 前の記事でScalaのマクロを使う用途の一つとして静的チェックの強化を挙げました。 Scalaは静的型付き言語なのでコンパイル時に型のチェックがおこなわれますが、どうしてもチェックできないところもあります。 たとえば文字列の中身は型ではチェックできないので実行時エラーにするということになります。 そういったところをマクロを使ってコンパイル時に調べるという例を見ていきます。 文字列 一番最初に思いつくのは前述したように文字列です。String Interpolationとの組み合わせも考えられます。 まず紹介するのはScalaの標準ライブラリに入っているString I
