function - 什么是最适合实现此 DSL 的语言？

Question

我想编写一个语法非常短的 DSL，用于两个我注意到对编程非常重要的东西，函数和哈希。这是我的设计:

创建哈希:

(a:1 b:2 c:3)
Same as JavaScript's: {a:1,b:2,c:3}

创建有序散列，省略键:

(x y 5) 
Same as JavaScript's: {0:'x', 1:'y', 2:5}

创建一个匿名函数:

(a?)
Same as JavaScript's: (function(x){ return x.a; })
Example application:
    ((test a? b?) (a:1 b:2 c:3))
    >> Outputs (test 1 2)

嵌套函数:

(a? a?') 
Same as JavaScript's: (function(obj1){ return function(obj2) { return [obj1.a,obj2.a]; }; })
Example double-application:
    (((a? a?') (a:1)) (a:2))
    Is reduced to: ((1 a?) (a:2))
    Then outputs: (1 2)

什么语言适合实现这种 DSL？

Answer 1

这听起来很像您想要一种具有强大宏系统的语言，例如某种 Scheme。宏允许这种语法扩展，原始语言的代码片段可以嵌入到您提出的新形式中(我假设您希望能够说 (a:1+1 b:2 *2)等)。此外，宏系统不会像外部预处理器那样使您的构建过程复杂化或破坏错误消息位置。

但有一个坏消息，即我所知道的任何(非深奥的)语言都没有足够的语法空间来提供您指定的确切语法。

这是我想出的语法:

哈希:

(: a 1 b 2 c 3)
; or, more clearly
(: (a 1) (b 2) (c 3))

索引键散列:

(:lst 'x 'y 5)

(如果你允许在散列的 RHS 上使用裸词，你将很难引用变量，所以我假设你不希望这样)

匿名属性访问函数:

(anon. a)

和前者一样，但是通过套用它们然后返回一个列表来获取多个参数:

(anon. a a)

好消息是，您无需编写词法分析器或解析器，也无需为将此语法添加到 Scheme 中而乱搞构建系统；几行代码而已，导入语法就像导入函数一样。

第一个宏(名为 :)写起来非常简单:

(define-syntax-rule (: (k v) ...)
  (make-hash `((k ,v) ...)))

第二个(名为 :lst)更难，因为您需要生成索引。大概不到十行代码，但是我懒得写了...

第三个宏 (anon.) 有点不平凡，但有点有趣，所以在这里:

(define-syntax anon.
    (syntax-rules ()
      ((anon. attr attrs ...) 
       (lambda (x) (cons (hash-ref x 'attr) (anon. attrs ...) )))
      ((anon.)
        empty)))

(请注意，为了保持一致性，我假设您希望 anon. 始终返回一个列表；否则需要向 syntax-rules 添加一个额外的子句 对于特殊情况。)我不确定 anon. 是否真的是一个有用的宏，但那是你和你的代码库之间的事情。

如果你想破解宏，我建议你试试我最喜欢的 Scheme 风格，Racket .它具有特别面向宏观的世界观(参见 this blog post，当 Racket 被称为“PLT Scheme”时写回)。