1年に1回くらい、妙に言語設計をしたくなります。今年は式言語らしい。 関数型は好きだけど、どうも実用的じゃないのがよくない。Irenkaやってた関係で、論理型言語の基本設計とかちゃんと勉強してみたいです。論理型は条件の記述とか条件の連鎖とかをきれい…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。