型駆動開発
略して「TDD」だネ！mrsekut.icon
実測を書く前に型を書いて、それを満たす実装をあとから書く
テスト駆動開発では実装を書く前にテストを書くものだった
良い感じの例とか文章とか本とか
idris
F#
purs
real world halogenの概説
特にこのページとかが型駆動開発の基本的な考え方の解説がされている かんたんなToDo MVCを作る
hs
hsのいくつかのmini patternの解説
全て「型は正しい」という前提のもとで話を進めてることからもわかるように、
型駆動の基本的な考えや旨味を理解できる