漸進的型付け (Gradual Typing) について語る会 http://camphor.connpass.com/event/28692/ での発表資料です. 資料中の下線部はリンクになっています. リンク先にアクセスするためには PDF ファイルをダウンロードして下さい.