複雑なマップデータ構造をF＃

Question

に変換する私は、関数型プログラミングだけでなく、F＃言語もかなり新しく、マップデータ構造の実装に問題があります。この地図のC＃の型と同等は次のようになります。

var map = new Dictionary<int, Dictionary<int, Tuple<char, Tuple<int, int>[]>[]>>(); 

私はこの自分自身を実装しようとしたオンラインで検索、しかし、言語との私の経験不足は私をダウンさせて頂いておりました。

は私を見ることができ、誰です：

1. この構造
2. このような例可変実装

Answer 1

の不変の実装：

let t1 = (2,3) 
let t2 = ("a",t1) 
let m1 = Map([1,t2]) 
let m2 = Map([2,m1]) 

の署名これは：

val it : Map<int,Map<int,(string * (int * int))>> = map [(2, map [(1, ("a", (2, 3)))])] 

これは配列ではなく配列を使用しています。

変更可能部分については、既に実装を示しています。ただ、

System.Collections.Generic.Dictionary 

わからないを使用しますが、多分これはあなたのために有用である：F# map to C# Dictionary

Answer 2

単なる翻訳は非常に簡単です：どちらか

• Dictionary（あなたは不変の構造をしたい場合）Mapなりますかそれがそのままです（変更可能な場合）
• Tuple<a, b>は型宣言でa * bになり、(x, y)を変数に使用しています。したがって

我々は不変で行くならば、我々が得る：

Map<int, Map<int, (string * (int * int)[])[]>> 

しかし、それは、率直に言って、読めないのです。幸いにも、F＃はこのための完璧なソリューションを持っています：type abbreviations。複合タイプは人間の読者に、より明確に問題領域を発現エイリアス、又は略語の束に分解することができること

。たとえば、あなたが持っている可能性があり：

type Cell = int * int 

type Zone = Cell [] 

type Battleship = string * Zone 

type Flotilla = Battleship [] 

type TaskForce = Map<int, Flotilla> 

type Fleet = TaskForce [] 

type NavalTheater = Map<int, Fleet> 

を上記のようにまったく同じタイプであるが、それはほとんどのユースケースのために、たくさんより読みますました。コンパイル時に省略形が単純にネイティブの型に置き換えられるので、それはゼロオーバーヘッドを持ちます。