- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我的问题是关于 DSL 设计的。它与内部和外部 DSL 相关,但比这更具体。背景信息:我已经经历了DSL in Action和其他教程。内部和外部之间的区别对我来说很清楚。我也有使用 Haskell 开发外部 DSL 的经验。
让我们举一个非常简单的例子。下面是一个(简化的)关系代数表达式:
SELECT conditions (
CROSS (A,B)
)
代数表达式(Haskell 中的 ADT)可以轻松重写。例如,这可以简单地重写为:
JOIN conditions (A,B)
在我开发的 DSL 中,我一直采用这种方法:编写一个解析器来创建如上所示的代数表达式。然后,使用像 Haskell 这样允许模式匹配的语言,应用一些重写并最终翻译成目标语言。
问题来了
对于我想开发的新 DSL,我宁愿选择内部 DSL。主要是因为我想利用宿主语言的能力(在本例中可能是 Scala)。争论这是否是正确的选择不是这里的重点。让我们假设它是一个不错的选择。
我想念的是:如果我使用内部 DSL,则无法解析为 ADT。我最喜欢的模式匹配重写在哪里适合这个?我必须放弃吗?是否有最佳实践来充分利用这两个世界?还是我看错了?
最佳答案
我将使用 Haskell 中的算术内部表达式语言来演示这一点。我们将实现双重否定消除。
内部 DSL“嵌入”或深或浅。浅嵌入意味着您依赖来自宿主语言的共享操作来运行领域语言。在我们的示例中,这几乎消除了我们问题的 DSL 特性。无论如何我都会展示它。
newtype Shallow = Shallow { runShallow :: Int }
underShallow1 :: (Int -> Int) -> (Shallow -> Shallow)
underShallow1 f (Shallow a) = Shallow (f a)
underShallow2 :: (Int -> Int -> Int) -> (Shallow -> Shallow -> Shallow)
underShallow2 f (Shallow a) (Shallow b) = Shallow (f a b)
-- DSL definition
instance Num Shallow where
fromInteger n = Shallow (fromInteger n) -- embed constants
(+) = underShallow2 (+) -- lifting host impl into the DSL
(*) = underShallow2 (*)
(-) = underShallow2 (-)
negate = underShallow negate
abs = underShallow abs
signum = underShallow signum
现在我们使用重载的 Num
方法和 runShallow::Shallow -> Int
Shallow
DSL
>>> fromShallow (2 + 2 :: Shallow)
4
值得注意的是,由于此浅
嵌入中的所有内容都是在内部表示的,除了结果之外几乎没有任何结构,因为所有工作都已下降到我们的领域语言无法“看到”的宿主语言“它。
深度嵌入明确区分了 DSL 的表示和解释。通常,表示它的一种好方法是 ADT,它具有与最小基础 API 匹配的分支和参数。我们将只反射(reflect)整个 Num
类
data Deep
= FromInteger Integer
| Plus Deep Deep
| Mult Deep Deep
| Subt Deep Deep
| Negate Deep
| Abs Deep
| Signum Deep
deriving ( Eq, Show )
值得注意的是,此表示将承认平等(请注意,这是可能的最小平等,因为它忽略了“值”和“等价”)并显示,这很好。我们通过实例化 Num
instance Num Deep where
fromInteger = FromInteger
(+) = Plus
(*) = Mult
(-) = Subt
negate = Negate
abs = Abs
signum = Signum
但现在我们必须创建一个解释器,将深度嵌入与宿主语言表示的值联系起来。这里出现了 Deep
嵌入的优势,因为我们可以轻松地引入多个解释器。例如,“showing”可以被认为是从 Deep
到 String
interpretString :: Deep -> String
interpretString = show
作为解释器,我们可以统计嵌入常量的数量
countConsts :: Deep -> Int
countConsts x = case x of
FromInteger _ = 1
Plus x y = countConsts x + countConsts y
Mult x y = countConsts x + countConsts y
Subt x y = countConsts x + countConsts y
Negate x = countConsts x
Abs x = countConsts x
Signum x = countConsts x
最后,我们不仅可以将事物解释为 Int
,还可以将其解释为遵循 Num
API 的任何其他事物
interp :: Num a => Deep -> a
interp x = case x of
FromInteger n = fromInteger n
Plus x y = interp x + interp y
Mult x y = interp x * interp y
Subt x y = interp x - interp y
Negate x = negate (interp x)
Abs x = abs (interp x)
Signum x = signum (interp x)
所以,最后,我们可以创建一个深度嵌入并以多种方式执行它
>>> let x = 3 + 4 * 5 in (interpString x, countConsts x, interp x)
(Plus (FromInteger 3) (Mult (FromInteger 4) (FromInteger 5)), 3, 23)
最后,我们可以使用我们的 Deep
ADT 来实现优化
opt :: Deep -> Deep
opt x = case x of
(Negate (Negate x)) -> opt x
FromInteger n = FromInteger n
Plus x y = Plus (opt x) (opt y)
Mult x y = Mult (opt x) (opt y)
Subt x y = Sub (opt x) (opt y)
Negate x = Negate (opt x)
Abs x = Abs (opt x)
Signum x = Signum (opt x)
关于scala - 使用内部 DSL 重写模式匹配?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24822083/
我有一些 Scala 代码,它用两个不同版本的类型参数化函数做了一些漂亮的事情。我已经从我的应用程序中简化了很多,但最后我的代码充满了形式 w(f[Int],f[Double]) 的调用。哪里w()是
如果我在同一目录中有两个单独的未编译的 scala 文件: // hello.scala object hello { def world() = println("hello world") }
val schema = df.schema val x = df.flatMap(r => (0 until schema.length).map { idx => ((idx, r.g
环境: Play 2.3.0/Scala 2.11.1/IntelliJ 13.1 我使用 Typesafe Activator 1.2.1 用 Scala 2.11.1 创建一个新项目。项目创建好后
我只是想知道如何使用我自己的类扩展 Scala 控制台和“脚本”运行程序,以便我可以通过使用实际的 Scala 语言与其通信来实际使用我的代码?我应将 jar 放在哪里,以便无需临时配置即可从每个 S
我已经根据 README.md 文件安装了 ensime,但是,我在低级 ensime-server 缓冲区中出现以下错误: 信息: fatal error :scala.tools.nsc.Miss
我正在阅读《Scala 编程》一书。在书中,它说“一个函数文字被编译成一个类,当在运行时实例化时它是一个函数值”。并且它提到“函数值是对象,因此您可以根据需要将它们存储在变量中”。 所以我尝试检查函数
我有 hello world scala native 应用程序,想对此应用程序运行小型 scala 测试我使用通常的测试命令,但它抛出异常: NativeMain.scala object Nati
有few resources在网络上,在编写与代码模式匹配的 Scala 编译器插件方面很有指导意义,但这些对生成代码(构建符号树)没有帮助。我应该从哪里开始弄清楚如何做到这一点? (如果有比手动构建
我是 Scala 的新手。但是,我用 创建了一个中等大小的程序。斯卡拉 2.9.0 .现在我想使用一个仅适用于 的开源库斯卡拉 2.7.7 . 是吗可能 在我的 Scala 2.9.0 程序中使用这个
有没有办法在 Scala 2.11 中使用 scala-pickling? 我在 sonatype 存储库中尝试了唯一的 scala-pickling_2.11 工件,但它似乎不起作用。我收到消息:
这与命令行编译器选项无关。如何以编程方式获取代码内的 Scala 版本? 或者,Eclipse Scala 插件 v2 在哪里存储 scalac 的路径? 最佳答案 这无需访问 scala-compi
我正在阅读《Scala 编程》一书,并在第 6 章中的类 Rational 实现中遇到了一些问题。 这是我的 Rational 类的初始版本(基于本书) class Rational(numerato
我是 Scala 新手,我正在尝试开发一个使用自定义库的小项目。我在库内创建了一个mysql连接池。这是我的库的build.sbt organization := "com.learn" name :
我正在尝试运行一些 Scala 代码,只是暂时打印出“Hello”,但我希望在 SBT 项目中编译 Scala 代码之前运行 Scala 代码。我发现在 build.sbt 中有以下工作。 compi
Here链接到 maven Scala 插件使用。但没有提到它使用的究竟是什么 Scala 版本。我创建了具有以下配置的 Maven Scala 项目: org.scala-tools
我对 Scala 还很陌生,请多多包涵。我有一堆包裹在一个大数组中的 future 。 future 已经完成了查看几 TB 数据的辛勤工作,在我的应用程序结束时,我想总结上述 future 的所有结
我有一个 scala 宏,它依赖于通过包含其位置的静态字符串指定的任意 xml 文件。 def myMacro(path: String) = macro myMacroImpl def myMacr
这是我的功能: def sumOfSquaresOfOdd(in: Seq[Int]): Int = { in.filter(_%2==1).map(_*_).reduce(_+_) } 为什么我
这个问题在这里已经有了答案: Calculating the difference between two Java date instances (45 个答案) 关闭 5 年前。 所以我有一个这
我是一名优秀的程序员,十分优秀!