「静的型付け関数型プログラミングだとOOよりもTDD(BDD)がしやすい(もしくはいらない)」?

きょん＠アジャイルコーチ、システムアーキテクト @kyon_mm 僕が不勉強な部分はあるのだけど、「静的型付け関数型プログラミングだとOOよりもTDD(BDD)がしやすい(もしくはいらない)」とかたまにいう人がいるんだけど、その人がまともにTDD/BDDの説明しているの聞いたことがないので、まるで参考にならない意見ばかりでつらいです。 2014-04-17 12:49:49

[morita_non]

何言ってるかさっぱりわがんね

[nwpct1]

すごい気になってる話なんだけどぼくには難しかった

[mizchi]

型が設計を導く感覚はわかる。キョンさんが要求するテスト品質はだいぶ高いレベルなので、型レベルの証明で下手なユニットテストより保証が効くって感じでは

[ringtaro]

面白いけど難しい。何度も読まな。

[a_suenami]

興味深い議論。ざーっと見たけどたぶんゆっくり読まないと自分の中で消化できないのであとでもう一回読む。

[katzchang]

"Growing Functioal Software Guided by Types"が待たれる。