型を使って意味を表現する - Qiita

型を使って意味を表現する この記事はC++アドベントカレンダー2017の11日目の記事です。 C++は静的型付けです。皆さん型使ってますか？ 型をつけましょう。 どうせ型をつけるなら、上手くやっていきましょう。型を効果的に使えば、関数なんかも宣言を見ただけで何をするかだいたいわかるようになります。 型はコンパイラがチェックしてくれるという利点があります。これは利点です。コンパイラは謎のメッセージを出して怒り狂う予測できない荒ぶる神ではなく、こちらのミスを指摘してくれる優しいチューターです。こちらがしたいことを型のレベルで表現すれば、我々がミスをした時にコンパイラは助けになってくれます。 今回の記事の内容は、一言で言うと「起き得ない状態を起き得なくする」ということです。言葉を足すと、「意味的に起き得ない状態は取れないような型を使う」ということです。 例が必要でしょう。上記の気持ちを中心に据え