2016-04-14 interested coliss.com qiita.com amagitakayosi.hatenablog.com blog.takuros.net racchai.hatenablog.com Practical Foundations of Programming Languages, Second Editionexistentialtype.wordpress.com qiita.com qiita.com dev.classmethod.jp qiita.com engineer.recruit-lifestyle.co.jp