5.2 階層構造

さて，最初に言ったように，mode は次のような階層構造になっています．Any は一番広い mode で，例えばその下に Real ，さらにその下に Nat があります． Nat なら Any ， Real なら Any ， Nat なら Real となるわけです．ここの考え方は，オブジェクト指向言語（Object Oriented Language）の考え方と似ています．同じ記号を，上の方に使っていくわけです．