Haskell有更新嵌套数据结构的习惯用法吗?

假设我有以下数据模型,用于跟踪棒球运动员,球队和教练的统计数据:

data BBTeam = BBTeam { teamname :: String, manager :: Coach, players :: [BBPlayer] } deriving (Show) data Coach = Coach { coachname :: String, favcussword :: String, diet :: Diet } deriving (Show) data Diet = Diet { dietname :: String, steaks :: Integer, eggs :: Integer } deriving (Show) data BBPlayer = BBPlayer { playername :: String, hits :: Integer, era :: Double } deriving (Show) 

现在让我们说,那些通常是牛排狂热分子的经理们想要吃更多的牛排 – 所以我们需要能够增加经理人饮食的牛排内容。 这个函数有两个可能的实现:

1)这使用了大量的模式匹配,我必须得到所有的构造函数的所有参数sorting…两次。 看起来它不会很好地扩展,或者是非常易于维护/可读的。

 addManagerSteak :: BBTeam -> BBTeam addManagerSteak (BBTeam tname (Coach cname cuss (Diet dname oldsteaks oldeggs)) players) = BBTeam tname newcoach players where newcoach = Coach cname cuss (Diet dname (oldsteaks + 1) oldeggs) 

2)这使用了Haskell的logging语法提供的所有访问器,但它也是丑陋和重复的,难以维护和阅读,我想。

 addManStk :: BBTeam -> BBTeam addManStk team = newteam where newteam = BBTeam (teamname team) newmanager (players team) newmanager = Coach (coachname oldcoach) (favcussword oldcoach) newdiet oldcoach = manager team newdiet = Diet (dietname olddiet) (oldsteaks + 1) (eggs olddiet) olddiet = diet oldcoach oldsteaks = steaks olddiet 

我的问题是,其中一个比另一个更好,或在Haskell社区更受欢迎? 有没有更好的方法来做到这一点(在保持上下文的同时修改数据结构内部的值)? 我不担心效率,只是代码优雅/一般性/可维护性。

我注意到在Clojure中有这样一个问题(或类似的问题): update-in – 所以我认为我正在尝试理解函数式编程和Haskell以及静态types的上下文中的update-in

3 Solutions collect form web for “Haskell有更新嵌套数据结构的习惯用法吗?”

logging更新语法标准与编译器:

 addManStk team = team { manager = (manager team) { diet = (diet (manager team)) { steaks = steaks (diet (manager team)) + 1 } } } 

可怕! 但是有一个更好的方法。 Hackage上有几个包可以实现function参考和镜头,这绝对是你想要做的。 例如,使用fclabels软件包,您可以在所有logging名称前加上下划线,然后写入

 $(mkLabels ['BBTeam, 'Coach, 'Diet, 'BBPlayer]) addManStk = modify (+1) (steaks . diet . manager) 

在2017年编辑补充道:这些日子, 镜头包装是一个特别好的实现技术,广泛的共识。 虽然它是一个非常大的软件包,但在networking上的各个地方也有很好的文档和介绍材料。

正如Lambdageek所build议的,您可以使用语义编辑器组合器(SEC)。

首先有几个有用的缩写:

 type Unop a = a -> a type Lifter pq = Unop p -> Unop q 

Unop这里是一个“语义编辑器”,而Lifter是语义编辑器组合器。 有些举重者:

 onManager :: Lifter Coach BBTeam onManager f (BBTeam nmp) = BBTeam n (fm) p onDiet :: Lifter Diet Coach onDiet f (Coach ncd) = Coach nc (fd) onStakes :: Lifter Integer Diet onStakes f (Diet nse) = Diet n (fs) e 

现在简单地组成证券交易委员会来说你想要的东西,即给经理(团队)饮食的风险加1:

 addManagerSteak :: Unop BBTeam addManagerSteak = (onManager . onDiet . onStakes) (+1) 

与SYB方法相比,SEC版本需要额外的工作来定义SEC,而我只提供了这个例子中所需要的。 证交会允许有针对性的应用,如果玩家有饮食,这将是有益的,但我们不想调整他们。 也许有一个相当SYB的方式来处理这个区别。

编辑:这是基本证交会的另一种风格:

 onManager :: Lifter Coach BBTeam onManager ft = t { manager = f (manager t) } 

后来你可能还想看看一些generics编程库:当数据的复杂性增加,你发现自己编写了更多的样板代码(比如增加了玩家的牛排内容,教练的饮食和观察者的啤酒内容)即使是不太冗长的forms,仍然是样板。 SYB可能是最知名的库(并且带有Haskell平台)。 实际上,SYB上的原始文件使用非常相似的问题来演示该方法:

考虑描述公司组织结构的以下数据types。 一个公司分为多个部门。 每个部门都有一个经理,由一个子单位组成,其中一个单位是单个员工或一个部门。 经理和普通员工都只是领薪水的人。

[skiped]

现在假设我们想要将公司中每个人的工资提高一个特定的百分比。 那就是我们必须写这个函数:

增加::浮动 – >公司 – >公司

(其余的在纸上 – 推荐阅读)

当然在你的例子中,你只需要访问/修改一个微小的数据结构,所以它不需要通用的方法(仍然基于SYB的解决scheme为您的任务下面),但一旦你看到重复代码/访问/修改你我想检查这个或其他通用编程库。

 {-# LANGUAGE DeriveDataTypeable #-} import Data.Generics data BBTeam = BBTeam { teamname :: String, manager :: Coach, players :: [BBPlayer]} deriving (Show, Data, Typeable) data Coach = Coach { coachname :: String, favcussword :: String, diet :: Diet } deriving (Show, Data, Typeable) data Diet = Diet { dietname :: String, steaks :: Integer, eggs :: Integer} deriving (Show, Data, Typeable) data BBPlayer = BBPlayer { playername :: String, hits :: Integer, era :: Double } deriving (Show, Data, Typeable) incS d@(Diet _ s _) = d { steaks = s+1 } addManagerSteak :: BBTeam -> BBTeam addManagerSteak = everywhere (mkT incS) 
  • 申请人撰写,monads不
  • 如何在Haskell中分割string?
  • 为什么Haskell代码会产生“无限types”错误?
  • 如何在Haskell项目中使用DLL?
  • 如何在Haskell中获得5GB堆的控制权?
  • -XAllowAmbiguousTypes何时适合?
  • 解决ghc-pkg检查logging的问题
  • Haskelllogging语法
  • 组成两个比较函数?
  • 用于Haskell idfunction
  • 从C#调用Haskell