到達しないケースの検出、は書いてる途中で気がついてました。改訂するときに盛り込んでみます
次に複数の値を持ったケースを持つ判別共用体の定義方法ですが、
// タプルで定義
type Node =
| Element of (string * (Node seq))
| Text of string
// タプルを使わずに定義
type Node =
| Element of string * Node seq
| Text of stringの2種類があって、後者の方がより効率的な型を生成します。
タプルを使うと、生成される型のフィールドには当然タプルが現れますが、タプルを使わない場合はそれぞれ独立したフィールド(上の場合だと2つのフィールド)が直接生成される型のフィールドとして定義されます。
効率以外にもコード上に現れてくる違いとして、タプルを使わずに定義した場合は
match式でタプルとして受け取れない、というものがあります。
うっ... markdownだった
次に、バナナクリップについてですが、これを「演算子」とするのはF#の演算子と紛らわしいため、できれば避けたい用語です。
「この括弧はバナナクリップと呼ばれます」くらいにしておいた方が好みです。
type t = Hoge of Xxx:(int * string)
System.Nullableは値型しか持てませんし、System.Nullable + 参照型としても、型の扱いにかなり違いがあるので。
例えば参照型ではnullであろうがなかろうがその型のメンバーにアクセスできるのに対し、Optionでは中に含む型のメンバーにはアクセスできない
あと同じ部分で、
int.TryParseがコードには出てきませんが、説明には出てくるので、これはミスと思われます。
昨日の夜、MSDNga
＜mscorlibに関して＞
C#ポケットリファレンスという本の202ページにコレクションのクラス・インターフェースとして下記のlstの分が載ってたのですが、mscorlibから引っ張りだせません。名前が違うのでしょうか？ヒントを教えていただけると嬉しいです。
module Test =
let dotNetAPIList =
typeof<obj>.Assembly.GetTypes ()
|> Array.map ( fun t -> ( t.Namespace, t.Name ) )
|> Array.sortBy id
|> Array.distinct
let mySeek targetName =
dotNetAPIList
|> Array.filter ( fun tpl -> snd tpl = targetName )
|> Array.iter ( printfn "%A" )
let lst = ["ICollection";"List";"LinkedList"
"HashSet";"Dictionary";"Queue";"Stack"]
for v in lst do
mySeek v結果
("System.Collections", "ICollection")
("System.Collections", "Queue")
("System.Collections", "Stack")