haskell - 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

base-4.7.x 和 base-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

请注意， nubBy 的 Haskell 报告前奏版本是:

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

这与 base-4.7 实现不一致，所以这也解释了这种变化。