Есть ли более идиоматический способ генерации бесконечной последовательности uint64?

Question

let makeIdGenerator startvalue = 
    let index : uint64 ref = ref startvalue 
    fun() -> 
     let result = !index 
     index := !index + 1UL 
     result 

Что мне нужно - это генератор для функции, которая имеет тип unit -> uint64, как показано выше.

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

Пытается использовать бесконечную последовательность, как в Seq.initInfinite (fun i -> i), не работает, так как последовательность использует uint32 для своего состояния.

Кто-нибудь здесь знает способ сделать это даже без ссылочной переменной? Может быть, путем рекурсии и урожайности?

Заранее спасибо.

Answer 1

Вы можете использовать Seq.unfold:

let makeIdGenerator (startvalue : uint64) = 
    Seq.unfold (fun i -> Some((i, i+1UL))) startvalue 

Answer 2

Стандартный метод функционального программирования, позволяющий избежать изменчивого состояния в цикле, состоит в том, чтобы передать его в параметр.

Если вы хотите бесконечная последовательность вы можете использовать выражение последовательности с yield для результата «первого» и yield! для рекурсивного вызова:

let genUint64() = 
    let rec genFrom n = 
     seq { 
      yield n 
      yield! genFrom (n+1UL) 
     } 
    genFrom 0UL