security - 如何在 Haskell 中安全地编译和运行第三方代码片段？

Question

userDefinedFunction = "\x -> x*x :: Int"
main = do
    f <- complileFunction userDefinedFunction :: Int -> Int
    let results = map f [1,2,3,4]
    print $ show results

如何安全地做到这一点？ userDefinedFunction应该是不受信任的第三方代码。它应该构建为快速、优化的代码，但不能直接访问系统。

我想它应该结合 Safe Haskell和 System.Eval.Haskell .是否有任何项目或教程涵盖这一点？

Answer 1

正好有一个 wiki 页面 this use case
您还可以查看 lambdabots 源代码。