2014年と2015年

去年は言語をずっと作ってました。
でもまぁ、結構迷走してたかも。

・最初はLLVM向けのC言語でオブジェクト指向がある程度動くようにする。
・型推論と型理論の研究成果を生かさなきゃと方針変更
・MinCamlのシンタックスを変える方向性を探る。
・多相型推論を導入したい
・TAPLが分からず型理論の為に集合論とBNFを勉強する
・型クラスを導入したい
・ATSのスナッチ開発がいいのでLLVMをやめて、CまたはC++を考え始める。
・OCamlのオブジェクトも理解したいのでOCamlを出力する
・ATSの理論を知りたいので論理学を勉強し始める
・選挙あったので色々考えてみる。
　・少子化対策を考える
　・エネルギー政策を考える

って言う間に2014年が終わりました。

今年はどうなるのか分からないですけど、引き続き言語を開発する為の基礎力を付けて良い言語が作れたらと思います。

よろしくお願いします。