2014-06-29から1日間の記事一覧
No53は、実際のML上でも型チェックに通らないものらしいし、取り敢えずあとまわしにした。 6章の「静的有効範囲と名前無し表現への変換」に入る。名前無し表現が何のためのものかよく分からんかったけど、バイナリコードとか中間形式への変換の定式化とか…
No53は、実際のML上でも型チェックに通らないものらしいし、取り敢えずあとまわしにした。 6章の「静的有効範囲と名前無し表現への変換」に入る。名前無し表現が何のためのものかよく分からんかったけど、バイナリコードとか中間形式への変換の定式化とか…