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

听起来很像您想要一种具有强大宏系统的语言，例如某种方案。宏正是允许这种语法扩展，其中原始语言的代码片段可以嵌入到您提出的新形式中(我假设您希望能够说 (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)

与前者类似，但通过柯里化(Currying)方式获取多个参数，然后返回一个列表:

(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. 是否真的是一个有用的宏，但这是你和你的代码库之间的事情。

如果您想使用宏进行破解，我建议您尝试我最喜欢的方案风格，Racket 。它有一个特别宏观的世界观(参见 this blog post，写于 Racket 被称为“PLT 方案”时)。