このダイアリーでは、型（タイプ）の話題をけっこう取り上げています。例えば： 今風の型理論入門（本編） デュアルプログラミングとエクソシストゲーム 僕のスタンスは"Types as Theories"、つまり型とはセオリー（形式的理論）だとみなす立場です。で、そ…