canonical

? 最近ruby語言的流行似乎再次引發了DSL(Domain Specific Language)討論的熱潮。從語法表現形式上看，通過對于ruby語言的深度hack, 充分挖掘ruby語言的某些語法特征，可以使得正常的ruby語句看起來比其他計算機語言更接近于人類的自然語言，某些人因此認定ruby語言是DSL的天然載體。但是在我看來，具體語言的語法表達形式對于DSL的核心價值而言并不是最關鍵的。
?? 首先，DSL的核心在于高效的表達語義，而并不在于是否接近自然語言。接近于自然語言并不意味著更加domain， 因為自然語言也是一種通用語言，它未必能夠比采用其他語法形式的語言更加有效的對domain事物進行描述。典型的有數學符號和化學分子式。
?? 第二，作為DSL, 緊湊的表達形式是一方面，另一方面是這種表達形式的穩定性，即如何防止人們寫出不符合DSL規范的語句。ruby語言的片斷直接作為DSL無疑是一種naive的解決方案，我們可以輕易寫出大量不同形式的ruby語句，而它們在語義上是等價的（這意味著通過單元測試也無法發現它們的不同），即人們不按照設計的DSL語法書寫，這造成DSL的解體。
?? 作為一種DSL構造語言，其核心能力在于如何將second class的domain中的概念（非語言本身內置的概念）封裝到first class的表達形式中。ruby作為一種動態語言，可以更加輕易對于自身meta data進行內省，典型的如ruby中的ActiveRecord設計. 但是在我看來，這種概念提升能力在ruby的語法結構中也是有限的，原因恰在于ruby的語法太多樣化了。實際上，我更加看好xml結構的均一性。