F#は関数だけが特徴ではありません。強力な型システムもまた、重要な要素です。関数と同じように、型システムを理解することが、この言語を使いこなす鍵となります。

F#には、一般的な.NETの型に加えて、関数型言語では当たり前の型がいくつかあります。これらは、C#やJavaのような命令型言語では見られないものです。

このシリーズでは、そういった型とその使い方を紹介します。

• F#の型を理解する：はじめに。型の新しい世界へ。
• F#の型の概要。全体像をつかむ。
• 型略称。エイリアスとも呼ばれる。
• タプル。型をかけ合わせる。
• レコード。ラベル付きタプルを拡張。
• 判別共用体。型を足し合わせる。
• オプション型。nullやnull許容型との違い。
• 列挙型。共用体型とは別物。
• 組み込みの.NET型。int、string、bool型など。
• 測定単位。数値の型安全性を確保。
• 型推論を理解する。魔法の裏側を覗く。