let t = 関数型プログラミング言語ML 2
■ このスレッドは過去ログ倉庫に格納されています
0348デフォルトの名無しさん
NGNG> しかしコンピュータ言語の意味は一意であります。ハード(物質)レベルで
> 同等であります。それにも関わらず何故語彙を敢えて変化させるのか?
はあ?アフォですか??
プログラミング言語ごとにsymbolの持つsemanticsは異なっているぞ。
それこそ「-」がいい例じゃないか。
これでわからなければ、prologの「!」とCの「!」の意味の違いを調べろ。
自分がどんなにマヌケな事を言っているか、よくわかるから。
ちなみにプログラミング言語がturing machine compatibleであることと
semanticsの同一性は、全く異なる問題だ。
もちろんsyntaxの同一性も、lexical definitionの同一性も、
上記2つのどちらとも異なる問題だ。ちゃんと区別して使え。
その上で、プログラミング言語の計算モデルと言語設計について考えろ。
> このような疑問がどうして問われないのか?
君ほどバカじゃないから。
■ このスレッドは過去ログ倉庫に格納されています