自分はかなり徹底したカタヅケ主義者だなー、と思います。整理整頓が得意なわけじゃないですよ。むしろ苦手でして、いつも散らかっています。カタヅケは、型理論の意味での型付け（タイピング）です。通常「型なし」と呼ばれる状況は、実は単一の型でシッカ…