Создать генератор элементов с бесконечным списком

Question

я играю с QuickCheck, и наткнулся на какой-то странное поведение

sample $ elements [1..5] 

работает, как и ожидалось, однако

sample $ elements [1..] 

зависаний в GHCI, даже при использовании конечный тип, такой как Int

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

Почему не распечатать произвольный (р не предназначенный :) большой Int s?

Update

Я проверил @ explanantion amalloy путем использования

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

который не прекращается.

Answer 1

elements выбирает элементы равномерно случайным образом, что означает, что в среднем оно достигнет length/2 элементов в списке. Для бесконечных значений это невозможно, и для больших конечных списков, таких как [1..] :: [Int], это все равно достигает 1 миллиарда элементов, по одному через связанный список. Довольно медленная операция!

Answer 2

Похоже, что elements плохо документирован. В дополнение к непустому аргументу должен быть конечный. См исходный код:

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

Он пытается вычислить длину входного списка, который вызовет бесконечную петлю на бесконечном списке.