F # - Обратный элемент из последовательности

Question

Spoiler-Alert! Вы увидите решение для projecteuler.net. Проблема 7.

Прошу прощения, если это дубликат, но я не мог найти здесь вопрос о том же.

Я вычисляю последовательность чисел в функции и хочу вернуть n-е число.

let isPrime x = 
    {2..x/2} 
    |> Seq.exists (fun e -> x%e=0) 
    |> not 

let PrimeNumber nth = 
    let unfolder a = 
     a 
     |> Seq.unfold (fun e -> Some(e, e+1)) 
     |> Seq.find isPrime 
     |> fun e -> Some(e, e) 

    2 
    |> Seq.unfold unfolder 
    |> Seq.skip (nth-1) 
    |> Seq.head 

let ans = PrimeNumber 10001 

ans всегда будет 2, но почему?

Когда я вычисляю последнее выражение в PrimeNumber с nth=10001, тогда верный элемент возвращается. Я что-то упускаю?

Answer 1

Проблема заключается в использовании Seq.find.

Seq.find, из документации, возвращает первый элемент, для которого выполняется условие. В этом случае, то есть 2.

Таким образом, ваше выражение Unfolder будет просто генерировать бесконечную последовательность 2s, поэтому любой элемент, который вы берете, это всегда будет 2.

Чтобы увидеть это, запустить именно этот фрагмент кода:

2 
|> Seq.unfold unfolder 

//output: val it : seq<int> = seq [2; 2; 2; 2; ...] 

Answer 2

вы хотите Seq.filter, если вам нужно придерживаться этого решения:

let isPrime x = 
{2..x/2} 
|> Seq.exists (fun e -> x%e=0) 
|> not 

let PrimeNumber nth = 
    let unfolder a = 
     a 
     |> Seq.unfold (fun e -> Some(e, e+1)) 
     |> Seq.filter isPrime 

    2 
    |> unfolder 
    |> Seq.skip (nth-1) 
    |> Seq.item 0 

let ans = PrimeNumber 100 даст вам 541 Но так же, как в комментариях, это другие более эффективные решения.