f# - F# 的编码实践

Question

我一直在 Visual Studio 2010 中涉足 F#。我是一名开发人员，在 C# 和 Java 等面向对象语言方面拥有更多代码/架构设计经验。

为了扩展我的技能并帮助做出更好的决定，我正在尝试不同的语言来做不同的事情。尤其要掌握使用函数式语言(在本例中为 F#)“正确”编码的窍门。

一个简单的例子是生成一些 XML，然后添加一些过滤器来消除一些元素。

这是我的代码:

open System
open System.Xml.Linq


let ppl:(string * string) list = [
    ("1", "Jerry"); 
    ("2", "Max"); 
    ("3", "Andrew");
]

/// Generates a Person XML Element, given a tuple.
let createPerson (id:string, name:string) = new XElement(XName.Get("Person"),
                                                new XAttribute(XName.Get("ID"), id),
                                                new XElement(XName.Get("Name"), name)
)

/// Filter People by having odd ID's
let oddFilter = fun (id:string, name:string) -> (System.Int32.Parse(id) % 2).Equals(1) 

/// Open filter which will return all people
let allFilter = fun (id:string, name:string) -> true

/// Generates a People XML Element.
let createPeople filter = new XElement(XName.Get("People"), 
                                ppl |> List.filter(filter)  |> List.map createPerson
)

/// First XML Object
let XmlA = createPeople oddFilter

/// Second XML Object
let XmlB = createPeople allFilter


printf "%A\n\n%A" XmlA XmlB


/// Waits for a keypress
let pauseKey = fun () -> System.Console.ReadKey() |> ignore


pauseKey()

我的问题是:在这种情况下，我在哪些方面做得很好？哪些部分可以做得更好？

我真的很期待一些想法，我也很高兴能够熟悉功能范式! :)

提前致谢

Answer 1

原则上，你的代码没问题。

从句法的角度来看，只有一些要点可以简化。

let ppl:(string * string) list = [
    ("1", "Jerry"); 
    ("2", "Max"); 
    ("3", "Andrew");
]

编译器能够自己推导出大多数类型:

let ppl = [ "1", "Jerry";
            "2", "Max";
            "3", "Andrew" ]

当然，由于 currying，您可以像这样重新编写过滤器:

let oddFilter (id:string, name:string) = (int id) % 2 = 1
let allFilter (id:string, name:string) = true

最大的改进是将索引与名称分开并让程序进行编号。您不必使用字符串而不是数字，并且可以使用更惯用的无元组函数:

let ppl = [ "Jerry"; "Max"; "Andrew" ]

let oddFilter id name = id % 2 = 1
let allFilter id name = true

let createPerson id name = ...

部分

ppl |> List.filter(filter)  |> List.map createPerson

将被改写为

[ for (index, name) in List.mapi (fun i x -> (i, x)) do
      if filter index name then
          yield createPerson (string index) name ]