aike

"つまり、「こう実装すればこういう機能が出来るからこの機能を入れる」っじゃなくて、「詳しい実装のことはおいといて、言語にあるべき仕様ってどんなかね」って流れでまず仕様が考えられて、それを実装するにはどうするかって研究がたくさん出てきたわけだ。"