[英]Can some explain the reflection package API in *very* simple terms?
我很难理解描述反射包的文档/示例。 我是命令式编程的老手,但还是 Haskell 新手。 你能告诉我一个非常简单的介绍吗?
包: https : //hackage.haskell.org/package/reflection
编辑:致关闭这个问题的人:这是对 Haskell 反射的初学者介绍。 下面的答案很好,其他的也很有用,所以请重新打开。
在最简单的用例中,如果您有一些配置信息,您希望在一组功能中普遍可用:
data Config = Config { w :: Int, s :: String }
您可以向需要访问配置的函数添加Given Config
约束:
timesW :: (Given Config) => Int -> Int
然后使用given
的值来指代当前配置(因此w given
或s 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
monad,但您不必将所有内容都提升为笨拙的 monad 或应用程序级别的语法,例如:
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
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.