Homoiconicityについての詳しい情報はどこで入手できますか？

Question

私は関数型プログラミングを実験していますが、私はまだその概念を理解していません。あなたは、この概念を議論する良い本やチュートリアルや例を知っていますか？または、その使用法について小さなスニペットを表示できれば、それは素晴らしいことです。

Answer 1

私はWhy Functional Programming MattersによってJohn Hughesが最高だと信じています。

Answer 2

lispまたはスキームを学んでください。言語はデータ構造であり、言語です。 LispコードとLispデータ構造は同じ構文規則を持っています。

tclを学ぶ場合は、手続き型の言語であるとで作業できます。データ構造の構文ルールはプログラミング言語の構文ルールと同じです。

厳密に言えば、機能プログラミングの問題ではありません。それは、データの構文規則と言語の構文規則が同じであるいくつかの言語の問題です。

Answer 3

ウィキペディア：http://en.wikipedia.org/wiki/Homoiconic

C2ウィキ：http://c2.com/cgi/wiki?HomoiconicLanguages

Answer 4

REBOLはhomoiconic言語です。 REBOLのblock!データ型は、LispのS式に似た有効なREBOLトークンが含まれる角括弧のセットです。例えば：少し違ったことを

series: [1 2 3 4] 
foreach item series [ 
    print item 
] 

それでは、表現してみましょう：

series: [1 2 3 4] 
for-body: [print item] ; This is the body of our foreach 
foreach item series for-body 

は、それがデータとして宣言されたが、我々はforeach関数に渡されたとき、私たちはコードとしてブロックfor-bodyを治療しました。ブロックfor-bodyの最初のアイテムのタイプが-type? first for-bodyであることをREBOLに尋ねると、であり、function!（またはnative!またはaction!または他のREBOL関数タイプのいずれも）ではありません。その理由は、データとして、for-bodyはちょうどREBOL単語の評価されていないチャンクです。 foreachに渡すと、コードとして評価されます。

REBOLを「Lispと似ていますが、かっこはありません」と言いましたが、私は個人的にはLispを好みますが、そうでないかもしれません。それでも、私が魅力的だと思うホモポリマー性について学びたいときは、まずは素晴らしい言葉です。