HOME ゲストブック 書き込み一覧 返事を書く

2518. Re. 2517 Re. 2516 Re. 2515 Re. 251...


LOLOL (Nov 29, 2009)

>ここでも、ちょっとでも「フツーのプログラミング言語の様式」に慣れちゃうと、「当たり前のアイディア」
が当たり前に思えない、と言う弊害があるんです

まあ、Cとかはアセンブラーを知っていると分かりやすいかもしれませんね。
Cはマクロアセンブラーと呼ばれるくらいですから。
実際にアセンブラーレベルの動作と手続き型の動作は同じなので、それは機械語に近い記述だという点で自然で
すね。
しかし、lispとかになると、これはインタープリターがなんか複雑なことをやっているんだろうなと思うけど、
どうやって実現しているのかを理解するのは簡単じゃないでしょうね。
マッカーシーの学生のラッセルとかいう人が、ラムダ計算をマシン語で実装したのがlispの最初らしいけど、具
体的に何をどう実装したのだろうか。lispの一番最初はlist構造はなかったかもしれない。ラムダ計算だけ実装で
きれば、lispのコアができるのだろうか?

元ねた:
2517 Re. 2516 Re. 2515 Re. 2514 Re. 251...
フォローアップ: