Erstellen einen Elemente-Generator mit einer unendlichen Liste

Question

ich mit Quick ich spiele, und stolperte über einige seltsamen Verhalten

sample $ elements [1..5] 

funktioniert wie erwartet, aber

sample $ elements [1..] 

hängt in GHCI, auch bei Verwendung von ein endlicher Typ wie Int

sample $ elements [(1::Int)..] 

Warum es nicht willkürlich drucken (S. un beabsichtigt :) groß Int s?

aktualisieren

I @ amalloy der explanantion getestet haben von

sample $ elements ([1 .. ] :: [Int8]) 

verwendet, die beendet ist.

Answer 1

elements wählt Elemente gleichmäßig nach dem Zufallsprinzip aus, was bedeutet, dass im Durchschnitt length/2 Elemente in die Liste aufgenommen werden. Für unendliche Werte ist dies unmöglich, und für große endliche Listen wie [1..] :: [Int] erreicht diese immer noch 1 Milliarde Elemente in einer verknüpften Liste. Ziemlich langsame Operation!

Answer 2

Es scheint, dass elements schlecht dokumentiert ist. Das Argument sollte nicht leer sein, sondern finite sein. Siehe den Quellcode:

-- | Generates one of the given values. The input list must be non-empty. 
elements :: [a] -> Gen a 
elements [] = error "QuickCheck.elements used with empty list" 
elements xs = (xs !!) `fmap` choose (0, length xs - 1) 

Es wird versucht, die Länge der Eingabeliste zu berechnen, die eine Endlos-Schleife auf einer unendlichen Liste verursachen.