kmizu(id:kmizushima)さんが twitter でつぶやいていたリンク先を、ちょろっと試してみました。 まーたScalaで型レベルプログラミングやろうとしてるけったいな人が。 http://twitter.com/kmizu/statuses/3630059097 リンク先: http://apocalisp.wordpress.c…