f# - 如何在 F# 中定义这种惰性(无限？)数据结构

Question

我在定义以下简单文本光标时遇到问题，该光标由一个元组表示，其中第一个元素是当前字符，第二个是获取下一个或崩溃的函数。

let rec nextAt index text = 
    if index < String.length text then
        (text.[index], (fun() -> nextAt (index + 1) text))
    else
        failwith "End of string."

我正进入(状态

Error   1   Type mismatch. Expecting a
    char * (unit -> 'a)    
but given a
    'a    
The resulting type would be infinite when unifying ''a' and 'char * (unit -> 'a)'

Answer 1

您必须使用中间类型:

type GetNext = GetNext of (unit -> char * GetNext)

let rec nextAt index text = 
    if index < String.length text then
        (text.[index], GetNext(fun () -> nextAt (index + 1) text))
    else
        failwith "End of string."

this question about y combinator的答案更深入地探索此限制并提出解决方法。