nubBy没有按预期工作

Question

下面的函数应该生成素数,但不适用于GHC 7.10.2.还有其他人看到这个吗？

GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
Prelude> import Data.List
Prelude Data.List> print . take 100 . nubBy (\x y -> x `rem` y == 0) $ [2..]
[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101]

奇怪的是,它似乎在这个网站上工作正常:

rextester.com/LWZCQ71376

Answer 1

什么基础4.7.x和基础4.8.0.0之间改变的是定义elem_by这就是nubBy被定义的.

在base-4.7中elem_by有这个子句:

elem_by eq y (x:xs)     =  y `eq` x || elem_by eq y xs

在base-4.8中,它被改为:

elem_by eq y (x:xs)     =  x `eq` y || elem_by eq y xs

这些变化的历史记录在这些TRAC问题中:

• 2528
• 3280
• 7913

请注意,Haskell Report Prelude版本nubBy是:

nubBy eq (x:xs)         =  x : nubBy eq (filter (\ y -> not (eq x y)) xs)

这与base-4.7实现不一致,因此也解释了这一变化.