サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
円安とは
esumii.github.io
型推論(typing.ml) 普通のMLと同様に、MinCamlでは変数や関数の型を書かなくても自動で推論してくれます。これを型推論といい、多相関数や高階関数のあるプログラムでは非常に便利です。 MinCamlの型推論の本体は関数Typing.gです。この関数は、型環境(変数の名前から、その型への写像)envと、式eとを受け取り、eの型を推論して返します。また、式の中に出てくる変数の型が合っているかどうかも調べます。もし未定義の型変数があったら、適切な型を代入します。このような代入により型を合わせる関数がTyping.unifyです。 たとえば、足し算e1 + e2(Syntax.tに合わせて書くとAdd(e1, e2) )だったら、まずg env e1により部分式e1の型を推論し、その型がintであることをunifyにより確かめます。部分式e2についても同様です。そして、式全体の型として
このページを最初にブックマークしてみませんか?
『esumii.github.io』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く