gistfile1.fs

let inline readValue< ^T when ^T : (static member TryParse : string -> bool * ^T)> name =
  let rec readValue() =
    seq {
      printf"input %s: " name
      let str = Console.ReadLine ()
      let success, value = (^T: (static member TryParse : string -> bool * ^T) str)
      (* TryParse <-　このTryParseを型パラメータの型のスタティックメソッドとして呼び出したい *) 
  
      if success 
      then yield value
      else yield! readValue()
    }
  readValue() |> Seq.head