Как получить рабочий конечный автомат в F #, используя функции для представления состояний?

Question

Я пытаюсь создать простой конечный автомат в F #, но проблема с работой двух состояний с круговыми зависимостями.
У меня есть этот государственный завод:

open System 
let createState produceInput stateSwitchRule nextState = 
    let rec stateFunc() = 
     match produceInput() with 
     | x when x = stateSwitchRule -> printfn "%s" "Switching state"; nextState() 
     | _ -> printfn "%s" "Bad input. Try again"; stateFunc() 
    stateFunc 

, который я использую для создания двух взаимно рекурсивных состояния:

let rec pongState() = createState Console.ReadLine "go to ping" pingState 
     and pingState = createState Console.ReadLine "go to pong" (pongState()) 

[<EntryPoint>] 
let main argv = 
    pingState() 
    0 

pingState() При вызове и ввод «идти в теннис» состояние переключается в теннис. Но при вызове ввода «go to ping» генерируется исключение нулевой ссылки.
Есть ли все-таки вокруг этого с выбранным подходом или я должен моделировать его по-другому?

Answer 1

Это то, что я сделал:

#nowarn "40" 

open System 

let createState produceInput stateSwitchRule nextState = 
    let rec stateFunc() = 
     match produceInput() with 
     | x when x = stateSwitchRule -> printfn "%s" "Switching state"; (nextState())() 
     | _ -> printfn "%s" "Bad input. Try again"; stateFunc() 
    stateFunc 

let rec pongState : unit -> (unit -> string) = createState Console.ReadLine "go to ping" (fun() -> pingState) 
    and pingState : unit -> (unit -> string) = createState Console.ReadLine "go to pong" (fun() -> pongState) 

#nowarn "40" подавить предупреждение о проверке рекурсивно определенные объекты для инициализации разумности, другого типа для функции nextState, иначе компилятор жаловался значение оценивается как часть его определения и аннотаций излишнего типа на государствах, потому что FSI жаловался на то, что они считаются родовыми. Множество жалоб;)

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