F# 编码练习

我一直在 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()

我的问题是：在这个场景中我哪些事情做得很好？哪些部分可以做得更好？

我真的很期待一些想法，而且我也很高兴能够熟悉函数范式！ :)

提前致谢

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

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

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

编译器能够自行推导大多数类型：

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

当然，您可以像这样重写过滤器，因为currying http://en.wikipedia.org/wiki/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 = ...

The part

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 ]