ソフトウェア開発にテストは必要か？テストの代わりになるものは無いのか？

くっくっkura 🇯🇵🦀 @PG_kura

@bleis いまはとかくテストが現実的、ということですね。ありがとうございます！！

ぐるぐる系SQL @bleis

CoqりさんCoqりさん [CIについて話します http://bit.ly/dtXLqV ]

こくぼ@Leaner Technologies @yusuke_kokubo

@PG_kura 単純にテストするコードがなければ、テストコードも書く必要もないですよね。って話ですが^^;

@zakuro563

coqってこれか / 定理証明器デモ (2:14) http://nico.ms/sm1276083 #nicovideo #sm1276083

あひさめ @a_hisame

@bleis CoqりさんCoqりさん。このコードが正しいかどうかを教えてください（注：必要人数4人）

くっくっkura 🇯🇵🦀 @PG_kura

@yusuke_kokubo おぉぉぉ！！！なるほどwwww

Nobuyuki Kubota @nobu_k

static ifほしいです

くっくっkura 🇯🇵🦀 @PG_kura

ほむ。 RT @zakuro563: coqってこれか / 定理証明器デモ (2:14) http://nico.ms/sm1276083 #nicovideo #sm1276083

Takuto Wada @t_wada

「 Coq りさん」だと…なにそれこわい

Kazunori Otani @katzchang

やばい、それはモヒカン召還呪文…！！ RT @PG_kura: 。oO ( ... Coq って何？)

でこすけ @dekosuke

きになるRT @PG_kura: ほむ。 RT @zakuro563: coqってこれか / 定理証明器デモ (2:14) http://nico.ms/sm1276083 #nicovideo #sm1276083

つーてんかく @twoten210kaku

@PG_kura テストコードは「必要」ではなく「あったら便利」。例えば、開発もユーザも自分だけの場合を考えて、そう思います。

Kazunori Otani @katzchang

フィボナッチ数列の定義を教えてください RT @bleis: CoqりさんCoqりさん [CIについて話します http://bit.ly/dtXLqV ]

くっくっkura 🇯🇵🦀 @PG_kura

@twoten210kaku どうやらそういうスタンスのモノ、ということでコンセンサスが取れているようですね。しかし、プログラムの妥当性を判断するための仕組み、という目的達成の手段としては型システムや DbC とオーバーラップしているように思って、気になってしまったのです。

ぐるぐる系SQL @bleis

誰かCoqりさん！ RT @katzchang: フィボナッチ数列の定義を教えてください RT @bleis: CoqりさんCoqりさん [CIについて話します http://bit.ly/dtXLqV ]

くっくっkura 🇯🇵🦀 @PG_kura

そして Coq りさんだけが残った、とw

ShinFujishiro @rsinfu

へぇ，ナディアパークでCoq集会とな

つーてんかく @twoten210kaku

@PG_kura なるほど。けど、自分には今のところテストコードという選択肢がスッキリします。

くっくっkura 🇯🇵🦀 @PG_kura

@twoten210kaku やはりテストが今、現実的な選択肢だから使う、ということですよね。ありがとうございます！

ぐるぐる系SQL @bleis

@PG_kura RT @yoshihiro503: Coqについて興味をもたれた方はぜひ8/29のCoq庵にお越しください。みんなでペアプル(ペアプルービング)しながらCoqを習得しましょう。 http://bit.ly/b08Sq2 http://bit.ly/d4moVw

はるえす＠イカのフレンズ @Rayerd

@PG_kura unittestは引数の内容を例示するものだし、契約は引数の内容を例示しないから被らない。

くっくっkura 🇯🇵🦀 @PG_kura

おぉっ @bleis @PG_kura QT @yoshihiro503: Coqについて興味をもたれた方はぜひ8/29のCoq庵にお越しください。みんなでペアプルしながらCoqを習得しましょう。 http://bit.ly/b08Sq2 http://bit.ly/d4moVw

くっくっkura 🇯🇵🦀 @PG_kura

@Rayerd なるほど。「具体的に例示するモノ ⊆ 契約」という理解であってますか？もしあっているのなら、実際の開発でテストを書くことによる冗長性が、テストをする意義よりも強く感じられてしまったりはしないものなのでしょうか？

はるえす＠イカのフレンズ @Rayerd

@melponn xが静的な値であってCTFEの範囲でならDでやってくれるかもしれないですね。xが動的な値のときでも理論上は可能に思えます…ウォルたんならやってくれるかな？

@hassyX

Coqなんてものがあるのね。初めて知った。