■http://anond.hatelabo.jp/20081230225149

元増田っす

言語仕様がコンパクトなのがなぜ良いのかと言うと、実は２つ理由があります。

1. 学ぶのが楽だから
2. コンパイラを作るのが楽だから

１つめは「全体像を把握するのが楽」という理由で。C++やJAVAだと全体像を把握するだけで疲れてしまうわけです。（使い方は奥深いけどね）

２つめはCOBOLを学ぶのと同じ後ろ向きの理由だけど、これからも活躍の場が多いだろうという予測。いまだに組み込みとかハードよりのところだとCは現役だったり、新製品の開発でももりもり使われてます。コンパイラが簡単に作れるし移植も楽だから。（これがCOBOLとかJAVAだと、開発環境を整えるのが大変なので選択されない。未来はわからないけれどもね）

標準ライブラリまで含めても、Cは異常に小さいよ。速いし。

Cのポインタってのは、値渡しのみにするとスタックでコンパイラをすっきりかけるけど、じゃあどうやって柔軟に運用させるべーと考えた妥協の産物です。

だから標準ライブラリにすら文字列・集合・リスト・配列を便利に扱えるものは入ってないし、ガーベジコレクションも多重のスレッドもヒープも入ってないわけです。（だからスタックと静的割り当てだけなんとかすればコンパイラが作れちゃう）知らなかったから作れなかったんじゃなくて、あえて切り捨ててる。

方向性として「間違いを少なくプログラミングする」とか「効率よくプログラミングする」ではなく、「コンパイラを簡単に作れるのが１番。でもできるだけプログラミングしやすいよう」にしてる。

そういう言語を２番目以降に学ぶのが良いのは、ハードよりの考え方（正確には、コンパイラよりの考え方）が出来るようになるから。これが「ポインタと言う概念を理解できる」ということに含まれてる。

メモリを意識したりポインタの概念を理解しておくと「なんで暴走するのか」「どうすると自分の足を撃てるのか」が理解できる。限界も面倒くささも便利さもわかるからね。（ポインタだからっつって暴走するんじゃなくて、C言語のポインタの実装だから、なんだけども。あと、ほんとは機械語＝アセンブリを学ぶのが良いとは思うけど、それはハードルが高い。出来ることも少なくなっちゃう）

ポインタが暴走するから隠蔽する・使わないようにする・ミスっても平気にする、ミスらないようにするというのは、言語としては正しい方向性だと思う。

誰がどう考えても「存在しない配列を参照したらエラーを返さずに黙って暴走する（そこにあるメモリを見ちゃう）」「仕様として不定な動作が多い」なんてのはまずいでしょう。けれども、なぜまずいのか知らないまま便利な言語に慣れちゃうのは、感覚として良くない様な気がする。

C#だと信じられないくらい簡単にアプリ作れるし、PythonやPerlは普段使いの言語としてはすっごく便利。でもそれって、パック野菜やお惣菜を買ってきて晩御飯を作るようなものじゃないかな、と。ピーラーやミキサーは便利だし炊飯器はなきゃ炊事なんてやってられない。それでも、その道を学ぶのであれば「レシピを見れば料理は作れる」「包丁となべで調理できる」「なべかまでご飯は炊ける」なんてのは、必要じゃないかなあと。

今あえてC言語を学ぶのは、それが学びやすい（情報が手に入りやすい）最後の言語だから。

（まあ、何を目指すかによって違うとは思うけどね。僕の言ってんのは「いまあえてスペイン語だ！」って言ってるようなもんだし。違うか）

Permalink | 記事への反応(1) | 00:49

ツイートシェア