幽霊型の紹介（サイバーエージェントA.J.A.社内勉強会 2016.6.23）2. 自己紹介 ● 名前：阿部晃典 ● 言語：OCaml, Perl, JavaScript, C/C++, Go, Java, PHP, LaTeX, Octave, etc. ● 専門：プログラミング言語理論 ○ 大学〜大学院１年くらいまで、幽霊型を使った線形代数ライブラリを作成 ■ Sized Linear Algebra Package (SLAP): http://akabe.github.io/slap/ ○ C++ テンプレート（メタプログラミング）を出力するコンパイラを書いた ■ EvilML (a compiler from ML to C++ template): http://akabe.github.io/evilml/ ● 趣味：機械学習 3. 幽霊型 (phantom type) とは... ● プログラムのバグをコンパイル時に発見する手法 ○ テスト工数削減
