search

fetburner / Udon

A Hobby implementation of ML
15 stars 0 forks source link

Clean type checker #7

Closed fetburner closed 9 years ago

fetburner commented 9 years ago

型変数（Type.VAR）を含まないような結果を返す型チェッカを作りました。 余計な場合分けが減るのでCPSを型付きに拡張した際に役立つと思います。 構文木を走査する回数が増えて効率が悪くなるので、お好みでマージしてください。

fetburner commented 9 years ago

let多相が思いの外早くできてしまったので無用になりました