汇总Haskell记录列表

Question

假设我有一个记录列表，我想通过取中位数来对其进行总结。 更具体地说，说我有

data Location = Location { x :: Double, y :: Double }

我有一个测量值列表，我想将其汇总为一个中值Location ，如下所示：

Location (median (map x measurements)) (median (map y measurements))

很好，但是如果我有更多嵌套的东西，例如：

data CampusLocation = CampusLocation { firstBuilding :: Location
                                      ,secondBuilding :: Location }

我有一个CampusLocation的列表，我想要一个Summary CampusLocation ，其中中值递归地应用于所有字段。

在Haskell中最干净的方法是什么？ 镜片？ Uniplate？

编辑：奖金：

如果我们没有包含要汇总的字段的记录，而是有一个隐式列表怎么办？ 例如：

data ComplexCampus = ComplexCampus { buildings :: [Location] }

我们怎样才能总结出[ComplexCampus]成ComplexCampus ，假设每个的buildings是一样的长度？

Answer 1

这是summarize :: [ComplexCampus] -> ComplexCampus ，它使用带有Uniplate的镜头（如您所述）来汇总单个ComplexCampus的ComplexCampus列表。

{-# Language TemplateHaskell,DeriveDataTypeable #-}
import Control.Lens
import Data.Data.Lens
import Data.Typeable
import Data.Data
import Data.List(transpose,genericLength)
data Location = Location { _x :: Double, _y :: Double } deriving(Show,Typeable,Data)


data CampusLocation =  CampusLocation { _firstBuilding :: Location, _firsecondBuilding :: Location }deriving(Show,Typeable,Data)
data ComplexCampus = ComplexCampus { _buildings :: [Location] } deriving(Show,Typeable,Data)


makeLenses ''Location
makeLenses ''CampusLocation
makeLenses ''ComplexCampus

l1 = Location 1 10
l2 = Location 2 20
l3 = Location 3 30


c1 = CampusLocation l1 l2
c2 = CampusLocation l2 l3
c3 = CampusLocation l1 l3
campusLocs = [c1,c2,c3]


c1' = ComplexCampus [l1, l2]
c2' = ComplexCampus [l2, l3]
c3' = ComplexCampus [l1, l3]
campusLocs' = [c1',c2',c3']


average l = (sum l) / (genericLength l)

-- returns average location for a list of locations
averageLoc locs = Location {
             _x = average $ locs ^.. biplate . x,
             _y = average $ locs ^.. biplate . y
             }


summarize :: [ComplexCampus] -> ComplexCampus
summarize ccs = ComplexCampus $ ccs ^.. biplate . buildings ^.. folding transpose . to averageLoc

这里使用双片很可能矫枉过正，但无论在averageLoc我们使用biplate地区的清单上获得所有x领域和所有y领域。 如果你想总结出ComplexCampus到一个单一的Location ，我们可以使用biplate提取所有x值和所有y从顶层值ComplexBuilding 。

例如：

campusLocs' ^.. biplate . x campusLocs' ^.. biplate . x给我们所有的x值和campusLocs' ^.. biplate . y campusLocs' ^.. biplate . y给我们所有y值

同样，要获取所有位置，我们可以这样做：

(campusLocs' ^.. biplate) ::[Location]

或者，如果我们希望每个Double： (campusLocs' ^.. biplate) ::[Double]