Type-First Development
型をはじめに記述する開発スタイル
実装を書くよりも軽量に始められる
簡単という意味ではなく、試行錯誤の回数を増やすコストが低いという意味
良いモデリングを見出すためのフィードバックが早期に得られる
関連
Type-First Developmentが良いという話
Why type-first development matters
Calculator Walkthrough: Part 1
F#の実例