#「C++の文法が複雑過ぎると話題に(俺の中で)」http://bit.ly/jQ26Ih に「George Mason大学のSeal Lukeさんいわく「正しくかつ完璧なC++パーサーを作るのは数学的に不可能」なのだそうで」という文言があるが、数学的に不可能というのはどういうことなのだろう。 ##Seal Luke氏のサイトはこちら。 http://www.cs.gmu.edu/~sean/ ざっとサイト内検索をかけてみたけどそれらしき言及は見当たらない。ただまあ、発言が本当だったとしても、本題は後半の "The language specification is so large and convoluted that you must either create a parser that rejects valid C++ code or create a parser that accepts invalid C++ code." にあって、それを強調するためのsarcasmだろうなと思う。 #後半を落として前半の "it is mathematically impossible to create a correct, complete parser for C++." だけを引用するのは、ジョークの落ちを切って前半だけ持ってくるようなもので、あまり褒められたもんではないと思う。それで「George Mason大学のSeal Lukeさんいわく」などとattributeされてしまってはSean氏も困るんではなかろうか。
#うがー、Common Lispで (defun foo (:key (bar baz)) ...) 等と書いてなぜエラーになるのかしばらく悩んでしまったではないか。やっぱりGaucheはCLに合わせた方が良かったかなあ… でもCLの&keyとかもレガシーだよなあ。
Gauche > Archives > 2011/06/16