k.inabaさんが研究しているものだそうです。 この辺の理論を絡めた言語が作れたらいいなぁと思っていますが、なかなか、理解できないのが悲しいところです。 mttの位置を説明する図がわかりやすくていいなと思いました。validatorは、出力がないけども、とら…

高校生が作ったcyanという言語がすばらしいです。 U20の個人賞とかをもらったとか何とか。 Lispのマクロのようなクォート、アンクォートを使ったマクロが使えます。 式がファーストクラスオブジェクトだからできるということです。 それでいて、pythonに似た…