>>70
> 長々言ってる割に、誰が言っただのと、ガイジと大して変わらんね
> 重要な点は非決定性、半順序性だけ

半順序じゃない全順序だ　（if〜then〜else if〜then〜・・・〜else if〜then〜else〜の条件判定の順番は半順序じゃなく全順序だ）
この程度の用語すら正しく理解して使えないのか？　もしそうならば、君自身が正に君の言うところの障害児だ

そして条件判定での非決定性こそが本質的だ
何故なら、言語とそのプログラムの意味・正しさ（即ち、意味論）を考える上で分岐判定が前から後ろへの全順序（決定性）か全く規定されていない（非決定性）かで大きく異なるからだ
他方、従来のif式と君らの言う見掛けだけのガードとでは意味論は何も違わない
だがDijkstraの本物のguardだと意味論が違ってくるし、命令的言語でのif文とDijkstraの(guarded )ifとでは検証条件が違う（後者が単純明快になる）

> ガードは条件に漏れは許されない

ifでelseを抜かせないように制限してしまえば漏れは自動的になくなるのだよ、それが理解できないか？
君が上で述べた利点は、ifをelse部がないif〜then〜を禁止し、if〜then〜else if〜then〜・・・〜else if〜then〜else〜だけに制限すべきだという主張と同等に過ぎない
それは私が既に>>58で「elseがあれば形式上は必ず網羅してることになる」と指摘したが、君は私の指摘を理解できる知力に不足していたということだ


> 馬鹿にしてるインデント云々という点も一般に文であるIfとは違う

インデンテーションなどそれこそプログラムを入力するエディタのモードでどうとでも対処できる問題でモードなど好きに作るか誰かが作ったモードを使えば良い

> こういう他言語を貶めるために、構文糖でしかない、という奴はよくいるが
> まさにその形式言語の話題だぞ？

そんな見掛け上の違いが形式言語の重大な課題だと思ってるならプログラミング言語の理論（特に意味論だが構文論も）を少しは勉強しろ

> 難癖と気づかずに、専門家かのように振る舞うから質が悪い

意味論の重要さも理解できず小学生レベルの知識で「形式言語」などとのたまうのは10年早い
「形式言語」などと知ったぶった言葉遣いをする前に、少しは理論を勉強したまえ、理論をね、障害児君