略して「TDD」だネ！

実測を書く前に型を書いて、それを満たす実装をあとから書く

テスト駆動開発では実装を書く前にテストを書くものだった

Type-Holes的な機能がその言語にあるとやりやすい

良い感じの例とか文章とか本とか

idris

F#

この記事ではType-First Developmentという言葉を使っている

purs

real world halogenの概説

特にこのページとかが型駆動開発の基本的な考え方の解説がされている

かんたんなToDo MVCを作る

hs

hsのいくつかのmini patternの解説

全て「型は正しい」という前提のもとで話を進めてることからもわかるように、

型駆動の基本的な考えや旨味を理解できる