多相型推論をする言語を作りたいのですが、その前に部分的型付けを勉強しておきたい所です。TAPLのrcdsubbot*1から型付け部分だけ抜き出して名前をオレオレに変換してScalaで書いてみました。TopはScalaでいうとAny型で、どんな型でもTopの子になります。Bot…

前から本を書いてみたいなぁとは思っていたのですが、書ける気がしないなぁと思ってました。 大学のときの卒業論文はワードか一太郎で書いたような覚えがあります。 先輩達はlatexがどうのと言ってた気はするんだけど、まぁ、いいやと。 でも、texで書いてい…