去年は言語をずっと作ってました。 でもまぁ、結構迷走してたかも。・最初はLLVM向けのC言語でオブジェクト指向がある程度動くようにする。 ・型推論と型理論の研究成果を生かさなきゃと方針変更 ・MinCamlのシンタックスを変える方向性を探る。 ・多相型推…