Этот код F # не работает

Question

Это не работает ... Я получаю сообщение об ошибке FS0001: тип 'string' не совместим с типом 'seq' для последней строки. Почему?

let rec Parse (charlist) =
   match charlist with
   | head :: tail -> printf "%s " head
                     Parse tail
   | [] -> None

Parse (Seq.toList "this is a sentence.") |> ignore

Answer 1

Проблема в том, что printf "%s " head означает, что head должно быть string, но вы действительно хотите, чтобы оно было char, поэтому вы увидите, что Parse имеет предполагаемый тип string list -> 'a option. Следовательно, F # ожидает, что Seq.toList будет применено к string seq, а не к string.

Простое исправление - изменить строку, выполняющую печать, на printf "%c " head.