[转]F# Samples 101 - Visual Studio 2010

http://code.msdn.microsoft.com/F-Samples-101-0576cb9f/sourcecode?fileId=18956&pathId=1045958806

// F# 教程文件
//
// 此文件包含代码示例来引导您了解
// F# 语言的基元。
//
// 在 http://fsharp.net 网站上了解有关 F# 的更多信息
//
// 有关更大的 F# 示例集合，请参见:
//     http://go.microsoft.com/fwlink/?LinkID=124614
//
// 内容:
//   - 简单计算
//   - 针对整数的函数
//   - 元组
//   - 布尔值
//   - 字符串
//   - 列表
//   - 数组
//   - 更多集合
//   - 函数
//   - 类型: 联合
//   - 类型: 记录
//   - 类型: 类
//   - 类型: 接口
//   - 类型: 带有接口实现的类
//   - 输出

// 打开某些标准命名空间
open System

// 简单计算
// ---------------------------------------------------------------
// 此处是一些简单的计算。请注意可以如何通过“///”注释来
// 说明代码。将鼠标指针悬停在任何变量引用的上面，
// 可查看相关文档。

/// 一个非常简单的整数常量
let int1 = 

/// 另一个非常简单的整数常量
let int2 = 

/// 将两个整数相加
let int3 = int1 + int2

// 针对整数的函数
// ---------------------------------------------------------------

/// 一个针对整数的函数
let f x = *x*x - *x + 

/// 简单计算的结果
let result = f (int3 + )

/// 另一个针对整数的函数
let increment x = x + 

/// 计算一个整数的阶乘
let rec factorial n = if n= then  else n * factorial (n-)

/// 计算两个整数的最大公因数
let rec hcf a b =                       // 注意: 两个参数之间由空格分隔
    if a= then b
    elif a<b then hcf a (b-a)           // 注意: 两个参数之间由空格分隔
    else hcf (a-b) b
    // 注意: 函数参数通常是由空格分隔的
    // 注意:“let rec”定义一个递归函数

// 元组
// ---------------------------------------------------------------

// 一个包含整数的简单元组
let pointA = (, , )

// 一个包含整数、字符串和双精度浮点数的简单元组
let dataB = (, "fred", 3.1415)

/// 一个用于交换两个值在元组中的顺序的函数
let Swap (a, b) = (b, a)

// 布尔值
// ---------------------------------------------------------------

/// 一个简单的布尔值
let boolean1 = true

/// 另一个简单的布尔值
let boolean2 = false

/// 使用 AND、OR 和 NOT 计算一个新布尔值
let boolean3 = not boolean1 && (boolean2 || false)

// 字符串
// ---------------------------------------------------------------

/// 一个简单字符串
let stringA  = "Hello"

/// 另一个简单字符串
let stringB  = "world"

/// 使用字符串串联计算的“Hello world”
let stringC  = stringA + " " + stringB

/// 使用 .NET 库函数计算的“Hello world”
let stringD = String.Join(" ",[| stringA; stringB |])
  // 尝试重新键入上面的行以查看 Intellisense 是如何起作用的
  // 注意，针对(部分)标识符按 Ctrl-J 时将重新激活它

// 功能列表
// ---------------------------------------------------------------

/// 空列表
let listA = [ ]           

/// 包含 3 个整数的列表
let listB = [ ; ;  ]     

/// 包含 3 个整数的列表，注意，:: 是“cons”运算
let listC =  :: [; ]    

/// 使用递归函数计算一个整数列表的总和
let rec SumList xs =
    match xs with
    | []    ->
    | y::ys -> y + SumList ys

/// 列表的总和
let listD = SumList [; ; ]  

/// 介于 1 和 10 之间的整数(含 1 和 10)的列表
let oneToTen = [..]

/// 前 10 个整数的平方
let squaresOfOneToTen = [ for x in .. -> x*x ]

// 可变数组
// ---------------------------------------------------------------

/// 创建一个数组
let arr = Array.create  "hello"
arr.[] <- "world"
arr.[] <- "don"

/// 通过对数组对象使用实例方法计算数组的长度
let arrLength = arr.Length        

// 使用切片表示法提取子数组
let front = arr.[..]

// 更多集合
// ---------------------------------------------------------------

/// 一个包含整数键和字符串值的字典
let lookupTable = dict [ (, "One"); (, "Two") ]

let oneString = lookupTable.[]

// 有关其他一些常见的数据结构，请参见:
//   System.Collections.Generic
//   Microsoft.FSharp.Collections
//   Microsoft.FSharp.Collections.Seq
//   Microsoft.FSharp.Collections.Set
//   Microsoft.FSharp.Collections.Map

// 函数
// ---------------------------------------------------------------

/// 一个对其输入求平方的函数
let Square x = x*x              

// 跨值列表映射函数
let squares1 = List.map Square [; ; ; ]
let squares2 = List.map (fun x -> x*x) [; ; ; ]

// 管线
let squares3 = [; ; ; ] |> List.map (fun x -> x*x)
let SumOfSquaresUpTo n =
  [..n]
  |> List.map Square
  |> List.sum

// 类型: 联合
// ---------------------------------------------------------------

type Expr =
  | Num of int
  | Add of Expr * Expr
  | Mul of Expr * Expr
  | Var of string

let rec Evaluate (env:Map<string,int>) exp =
    match exp with
    | Num n -> n
    | Add (x,y) -> Evaluate env x + Evaluate env y
    | Mul (x,y) -> Evaluate env x * Evaluate env y
    | Var id    -> env.[id]

let envA = Map.ofList [ "a", ;
                        "b", ;
                        "c", ]

let expT1 = Add(Var "a",Mul(Num ,Var "b"))
let resT1 = Evaluate envA expT1

// 类型: 记录
// ---------------------------------------------------------------

type Card = { Name  : string;
              Phone : string;
              Ok    : bool }

let cardA = { Name = "Alf" ; Phone = "(206) 555-0157" ; Ok = false }
let cardB = { cardA with Phone = "(206) 555-0112"; Ok = true }
let ShowCard c =
  c.Name + " Phone: " + c.Phone + (if not c.Ok then " (unchecked)" else "")

// 类型: 类
// ---------------------------------------------------------------

/// 二维矢量
type Vector2D(dx:float, dy:float) =
    // 预先计算的矢量长度
    let length = sqrt(dx*dx + dy*dy)
    /// 沿 X 轴的位移
    member v.DX = dx
    /// 沿 Y 轴的位移
    member v.DY = dy
    /// 矢量的长度
    member v.Length = length
    // 按某个常量重新缩放矢量
    member v.Scale(k) = Vector2D(k*dx, k*dy)

// 类型: 接口
// ---------------------------------------------------------------

type IPeekPoke =
    abstract Peek: unit -> int
    abstract Poke: int -> unit

// 类型: 带有接口实现的类
// ---------------------------------------------------------------

/// 一个用于计算其被发送的次数的小组件
type Widget(initialState:int) =
    /// 该小组件的内部状态
    let mutable state = initialState

    // 实现 IPeekPoke 接口
    interface IPeekPoke with
        member x.Poke(n) = state <- state + n
        member x.Peek() = state 

    /// 是否已发送该小组件?
    member x.HasBeenPoked = (state <> )

let widget = Widget() :> IPeekPoke

widget.Poke()
let peekResult = widget.Peek()

// 输出
// ---------------------------------------------------------------

// 输出一个整数
printfn "peekResult = %d" peekResult 

// 对一般输出使用 %A 来输出结果
printfn "listC = %A" listC