7

我很难理解描述反射包的文档/示例。我是一名命令式编程老手,但也是一名 Haskell 新手。你能引导我完成一个非常简单的介绍吗?

包:https ://hackage.haskell.org/package/reflection

编辑:对于结束这个问题的人:这是对 Haskell 反射的初学者介绍。下面的答案非常好,其他答案也很有用,所以请重新打开。

4

1 回答 1

8

在最简单的用例中,如果您有一些配置信息希望在一组函数中普遍可用:

data Config = Config { w :: Int, s :: String }

您可以Given Config向需要访问配置的函数添加约束:

timesW :: (Given Config) => Int -> Int

然后使用该值given来引用当前配置(等等w givens given引用其字段):

timesW x = w given * x

还有一些其他功能,一些使用配置,一些不使用:

copies :: Int -> String -> String
copies n str = concat (replicate n str)

foo :: (Given Config) => Int -> String
foo n = copies (timesW n) (s given)

然后,您可以在不同的配置下运行计算give

main = do
  print $ give (Config 5 "x") $ foo 3
  print $ give (Config 2 "no") $ foo 4

这类似于:

  • 全局定义given :: Config,除非您可以在同一程序中在多个配置下运行计算;

  • 将配置作为额外参数传递给每个函数,除非您避免显式接受配置并将其传递的麻烦,例如:

    timesW cfg x = w cfg * x
    foo cfg n = copies (timesW cfg n) (s cfg)
    
  • 使用Reader单子,但您不必将所有内容都提升为笨拙的单子或应用程序级别的语法,例如:

    timesW x = (*) <$> asks w <*> pure x
    foo n = copies <$> timesW n <*> asks s
    

完整的例子:

{-# LANGUAGE FlexibleContexts #-}

import Data.Reflection

data Config = Config { w :: Int, s :: String }

timesW :: (Given Config) => Int -> Int
timesW x = w given * x

copies :: Int -> String -> String
copies n str = concat (replicate n str)

foo :: (Given Config) => Int -> String
foo n = copies (timesW n) (s given)

main = do
  print $ give (Config 5 "x") $ foo 3
  print $ give (Config 2 "no") $ foo 4
于 2020-11-17T17:01:36.420 回答