これなんだけど型註釈しかりパースのしやすさ考えた構文っぽさは端々に表われてるので，ちゃんと証明したりはしてないけど LL(k) なのはたしかに本当にそう設計されてるんだなと後々考えるとストンとくる。いやでもやっぱあれだけの多機能な言語がそれでパースできるのなんかすごいな。
これなんだけど型註釈しかりパースのしやすさ考えた構文っぽさは端々に表われてるので，ちゃんと証明したりはしてないけど LL(k) なのはたしかに本当にそう設計されてるんだなと後々考えるとストンとくる。いやでもやっぱあれだけの多機能な言語がそれでパースできるのなんかすごいな。