2006-05-01から1日間の記事一覧

人力型推論

一番最初にロードされるべき型環境を、人手で推論しながら書いてます。自由型変数大杉。束縛し忘れると多相型にならなくてあぼーん。いろいろ試したが多分手書きが一番楽ちん。ああああああああーーーーもうーーーーーーー!!!!