新しいものを表示
orange さんがブースト

我々はバナナを扱っているのではなくバナナを表現するデータを扱っているし、そういう「翻訳」は情報システムのあらゆる場面に暗黙に存在しているのだから、敢えて特定の場所でだけその「翻訳」を許さないという決断をするなら、相応の理由がほしい

orange さんがブースト

もっと適切に言うなら、「データのモデルを構築する専用の訓練をさせたくない人の利用を想定しているなら」とかになるかもしれない (チクチク言葉か?)

スレッドを表示
orange さんがブースト

たとえば事務員が扱う言語であればこそ、自然言語に近い文法を使うことが正当化されるということです

スレッドを表示
orange さんがブースト

べつに「人間の †直観† に近い方が良い」という派閥の有用性もわかるにはわかるんだけど、それはあくまで人間が汚いけどしょうがないよねという妥協の上での最善を求めるものであって、つまり「人間世界の汚さを輸入する」ことに合理性のある文脈でしか受け入れたくない設計だということですね

なので、Cは合理的な0スタートで、Pascal一族は人間側の都合とのある種のグルーコード的(?)な部分も静的型システムで表現する方式なので「ひとりめ」みたいに表現する時は1ベースにする文化になってるのかも><
(0番目からとかマイナス42番目からはじまる時にも、その通り表現できる><)

orange さんがブースト

言ってみれば「プログラミング言語だからといって無理に自然言語っぽい文法にする道理はない」に近いですかね

スレッドを表示
orange さんがブースト

それは自然言語が腐ったモデルの上に作られてしまったからであって、自然言語から離れた「作り直せる」世界でそのようにする必然性がない

でも、山田さんと田中さんと鈴木さんの順に順番待ちしてて、山田さんを呼ぶ時に「ひとりめのかたどうぞ!」と言う事はあっても「ぜろりめのかたどうぞ!」とは呼ばないかも感><(?)

orange さんがブースト

えっ、自然数が加算について閉じていない世界があるんですか???

スレッドを表示
orange さんがブースト

0が O で 1 が Succ(O) なんだから最初の要素は0番目に決まってるでしょ、異常な人間社会の調教に負けないで理性働かせてもろて

スレッドを表示
orange さんがブースト

1番目が最初の次の要素でないこと自体が異常でしょ (異常者並感)

Ada,C,Pascal―言語の比較と評価 | フォイヤー,アラン, ゲハーニ,ナレイン, 康隆, 宇井 |本 | 通販 | Amazon amazon.co.jp/dp/4875930844

やっぱこの本ほしいけど高い><; ・・・・・っていつも通り書こうと思ったら激安価格で配送料が高い系古本屋さんが出品してるけど、配送料込みでも激安だけどほんとに届くんだろうか?><;

???「えー! いちいちそんなコード書きたくないよ!」
「ですよね!>< そこで登場するのがPascal一族!>< Ada辺りがおすすめですよ!><」
???「えー! いちいちなんでも明示的に型を作って宣言するコード書きたくないよ!」
「・・・・・・><;」

つまり「1番目のデータを0で表すの気持ち悪い!」に対するいい感じの反論(?><; 解説?><;)は、
「C言語の配列の添字は、現実のn番目を表すような意味では無く、Cの配列と現実の対応はプログラマ側に任せられているので、1ベースでアクセスしたいのであれば、1ベースでアクセスするコードを自分で書く。それがC言語の方式」

スレッドを表示

そういう風に考えると、PascalやAdaは、配列の添字を実際の目的、つまりユーザー側の数値に合わせることによって型システムも活用して安全性を保とうとする仕組みが整っているから1からでもよいのであって、
Cの方式はそうじゃなく「メモリ上のこの辺りにあるという事を相対的に表してる」だけであって、「実際のユーザー側の数値とあわせる作業はプログラマ側で工夫してくれ」なので、メモリ上の相対位置を表すのに都合がよい方式にする事が合理的になり、それは当然ゼロ基準になる・・・・かも?><

PascalとCで宗教戦争してた頃の文脈で言う「C言語は高級アセンブラ」って、Pascalのそういう面から見てもたしかになるほどかも><

ていうかPascal一族(Adaとかも)は、正確には0からでも1からでもなく「最小値と最大値を明示的に指定しろ」でなおかつ「1を最小値にするのが一般的」っぽい?><;(ずっと使ってなくて忘れちゃった><;)

Pascal一族は1開始で、それだけじゃなく部分範囲型とかもあるから、柔軟で人間寄りって言えそう><
0からなのは納得いかない人って、Pascal使いになる素質ありそう><

orange さんがブースト

Pascalなんかはたしか1開始だったし、クヌース大老のMIXも1開始だし

計数は1開始ってのは自然ではある

古いものを表示
:realtek:

思考の /dev/null