类型类读取，读取一个函数的名称是实数吗？

Question

假设我有这样的函数：

squared x = x ** 2

我想从控制台读它，然后应用它。能做这样的事吗？

gchi> (read("squared) :: Int -> Int) 4

Answer 1

不，一般来说，这是不可能的。要了解为什么，请考虑一下如果存在此功能，可能出现的几种情况：

• 假设您重新定义了(+) a b = a - b。现在，read "(+)"是来自前奏的(+)，还是您重新定义的(+)操作符？
• 如果您执行read "foobar"，并且还没有将foobar定义为函数，那么应该返回什么？那么，如果foobar是在模块中的其他地方定义的，那么这个返回值是否会突然改变？
• 如果将import Prelude ()添加到程序的顶部，将所有导入从前奏中删除，那么read "preludeFunctionName"是否应该停止工作？

现在，这些问题中没有一个本身就是交易中断者--在另一种语言中，您仍然可以在考虑到这些问题的情况下定义一个read函数。本例中的问题是引用透明性:非IO函数应该始终返回相同输入的属性。由于read的类型是Read a => String -> a，而不是Read a => String -> IO a，所以不能按需要创建read的实例，因为上面的函数可以给出不同的答案，这取决于运行它的确切上下文。(例如，read "foobar"和let foobar = (+1) in read "foobar"会对同一个函数调用给出不同的答案。)

另一方面，如果您仍然希望拥有此功能，则有一种方法可以获得它。hint包允许在运行时解释Haskell代码，因此您可以使用此功能编写如下所示的函数：

-- Warning: the following code is untested
-- Please comment if you find any errors!
import Language.Haskell.Interpreter

readFn :: Typeable a
       => [ModuleName]   -- ^ Modules to search
       -> String         -- ^ Function to read
       -> a              -- ^ Witness for the type a
       -> IO (Either InterpreterError a)
readFn m f w = runInterpreter $ do
    setImports m
    interpret f w

上述功能可用于以下方面：

readFn ["Prelude"] "(+)" (as :: Num a => a -> a -> a)

as来自Language.Haskell.Interpreter。