什么是从stdin读取的最佳方式?

时间:2016-12-01 19:22:17

标签: f# stdin console.readline

我目前正在努力学习F#,我正在使用编码作为编程测验的来源。

大多数的quizess涉及从stdin中读取一些值,就像stdin上的前10个值将是int,接下来的5个将是字符串。

目前,我正在使用此功能来读取数据,但感觉非常非常" un-f#"。

let N = 5
let Reader i =
    Console.In.ReadLine()

let words = [0..N-1] |> Seq.map Reader 

2 个答案:

答案 0 :(得分:7)

从评论中可以看出,你最喜欢" F#-native" (我们称之为"惯用的F#")从控制台读取的方式。

你所拥有的是足够的惯用语,除了函数,按惯例,通常以小写字符开头:

let reader i = Console.ReadLine()

另外,由于您未使用参数,因此您无需为其命名:

let reader _ = Console.ReadLine()

如果功能足够小,您可以匿名编写内联:

let words = [0..N-1] |> Seq.map (fun _ -> Console.ReadLine())

此外,由于您实际上并未使用索引,因此您可以将列表声明为1..N而不是0..N-1。看起来更清洁。

最后,F#提供了非常方便的列表推导,您可以使用它来实现更好的可读性:

let N = 5
let words = [for _ in 1..N -> Console.ReadLine()]

答案 1 :(得分:5)

如果我必须读取给定类型的给定数量,我会写类似

open System

let read parser =
    Seq.initInfinite (fun _ -> Console.ReadLine())
    |> Seq.choose (parser >> function true, v -> Some v | _ -> None)
然后可以使用

let ints = read Int32.TryParse
let ``ten floats`` = read Double.TryParse |> Seq.take 10

请注意,如果多次使用seq,则会再次调用ReadLine()

let anInt = ints |> Seq.take 1
printfn "%A" anInt
printfn "%A" anInt // need to input an int again

可以通过使用例如ListSeq.cache

对于永不失败的字符串,请使用

let strings = read (fun s -> true, s)

如果您有最低长度要求:

let potentialPasswords = read (fun s -> s.Length > 10, s)