总结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个清单，我想总结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来提取顶级ComplexBuilding的所有值和所有y值。

例如：

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

同样地，把所有的位置，我们可能只是做：

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

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