機能的アプローチを使用してデータ構造を実装する方法は？ （リンクされたリスト、木など）

Question

私は関数型プログラミングでは新しいですが、私はF＃を学び、質問が愚かであれば申し訳ありません。 構文を理解し、単純なデータ構造を実装したいのですが、どうやってそれを行うのか分かりません。

リンク先リストの実装方法は？ タイプを作成し、そこに変更可能なプロパティを入れて、そのタイプで動作するメソッドのセットを定義しようとしましたが、オブジェクト指向のリンクリストのように見えます...

Answer 1

F＃の基本リストタイプはすでに多少リンクリストです。 あなたは簡単に、単純な労働組合の種類とリンクリスト再作成することができますが：

type LinkedList<'t> = Node of 't * LinkedList<'t> | End 

をノードが値と次のノードへのポインタを持っているか、終了することができます。あなたは、単に手で新しいリストを作ることができ ：

Node(1, Node(2, Node(3, End))) //LinkedList<int> = Node (1,Node (2,Node (3,End))) 

それともそれをF＃のリストを供給することによって、新たなリンクリストを作る：

let rec toLinkedList = function  
    | [] -> End 
    | x::xs -> Node (x, (toLinkedList xs)) 

それを介して歩く：

let rec walk = function 
    | End -> printfn "%s" "End" 
    | Node(value, list) -> printfn "%A" value; walk list 

同様の概念がツリー構造にも適用されます。 ツリーは、F＃Wikibookは、F＃でデータ構造にgood articleを持って

type Tree<'leaf,'node> = 
    | Leaf of 'leaf 
    | Node of 'node * Tree<'leaf,'node> list 

ようになります。