[閒聊] Meta-programming強的語言有哪些?

[NilPtr (神奇的空指標)]

小弟最近玩C++的Template Meta-programming玩得有點上癮了，
C++只靠Template做出來的元編程在所有語言中不是算是頂尖的吧?
所以我想研究一下別的語言的元編程，希望版上有相關經驗的大大
能夠給個研究方向，順便分享一下那個語言是有多神奇XD

聽說Lisp的Macro很厲害，但是我估狗來估狗去的還是看不太懂，
希望有大神能夠舉例一下(聽說Ruby好像在這方面也很在行呢)

也歡迎有元編程成癮症的患者一起討論真實/幻想中的元編程，
功能會有多神奇~ XD

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.252.20.53
※ 文章網址: http://www.ptt.cc/bbs/PLT/M.1419351667.A.920.html
推 mars90226: 個人覺得Ruby挺強，有define_method, method_missing
→ mars90226: 還有send可以用，還可以改Class這個class去影響其他cla
→ mars90226: class
推 mars90226: Ruby在修改class方面的工具挺多，很輕易就可以做meta
→ mars90226: programming相關的事情，google一下就有很多文章介紹
→ mars90226: 一個最明顯的例子就是standard library中的OpenStruct
→ mars90226: person = OpenStruct.new; person.name = "Mars"
→ mars90226: person.name # => "Mars" 完全不用管有沒有name這個
→ mars90226: attribute在裡面，他內部就是用method_missing做的
→ NilPtr: Ruby真的很方便，難怪有些人喜歡用Ruby來做DSL
→ NilPtr: 而且Ruby的元編程非常的動態，之前好像看過能自己生出
→ NilPtr: 一串結構類似的method的方法，像是自己生一堆setter之類的
→ NilPtr: 是說我以前就摸過C++的TMP技術，直到最近學了FP類的語言
→ NilPtr: 才知道C++Programmer口中的TMP特例化根本就是FP的匹配模式
推 suhorng: 話說我覺得雖然很像, 不過應該有點差別; FP 的模式匹配會
推 suhorng: (通常)由上到下 matching, C++ 則不是
推 dryman: http://www.weitz.de/macros.lisp
推 ccshan: http://terralang.org/ 見 "Generative programming" 那段
推 enthos: FORTH定義 : 1 type ; : 2 s" enthos" ; : 3 ." Hello," ;
→ enthos: 執行, 3 2 1 結果 Hello,enthos ok
→ enthos: 原本的加法 1 9 + . 10  ok
→ enthos: 把1定義成9,+定義成* : 1 9 ; : + * ; redefined +   ok
→ enthos: 執行 1 9 + . 81  ok
推 beatitude: http://www.zhihu.com/question/19869614
→ DBoyX: lua, javascript