这可以在没有Quasi Quoter的情况下完成吗？

Question

我有一个很小的DSL，实际上工作得很好。当我说

import language.CWMWL 

main = runCWMWL $ do 
    out (matrixMult, A, 1, row, 1 3 44 6 7) 

然后runCWMWL是由language.CWMWL导出的函数。这解析了预测并采取了一些行动。

我想实现的是，有一些方法来重复这个例如1000次，并且元组的第三个元素由数字1到1000组成。我自己的DSL不够完整。最后我想改变最后一个元素中的字符串。

是否有可能这样做没有准行情？准引号是最好的工具吗？

什么binops /原语将我的DSL需要包含或需要为了让这个以优雅的方式来包装？

Answer 1

除非我的误解，我不认为quasiquotation将让你的其他想法的东西比

main = runCWMWL $ 
    sequence [ out (matrixMult, A, n, row, 1 3 44 6 7) | n <- [1..1000] ] 

好得多你也可以考虑MonadComprehensions以及RebindableSyntax。