欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Domain-specific language (DSL) 领域特定语言
DSL 是一种程序设计语言,不要试图让 DSL 读起来像自然语言。Lisp 程序员写程序就是创建和使用 DSL。Ruby 社区也形成了自己的 DSL 文化,其著名的 Rails 框架,经常被认为是一套 DSL。使用 DSL 的最大价值在于领域专家能够读懂。
与DSL相关的语言