動的型付け言語のTDDは型テストが必要か?

あひさめ @a_hisame

Rubyとかの（変数に対して）動的型付言語が好きになれないのは静的型付のそれならテストしなくてもいいところまでテストを強要されるところかな。型チェックとかそもそも自動化（コンパイラ）に任せてしまえばいいのに、とは思う。

ぐるぐる系SQL @bleis

@a_hisame 実際RubyでTDDやってみると、型チェックのテストとかやらなかったよ。まぁRubyを深くやってるわけじゃないから、本来どうあるべきかは知らないけど

あひさめ @a_hisame

@bleis なんか静的型付と同じLVを保障しようとすると必要かなー、と思ったけど、やっぱり違う方向に進化してるのかね？ メタプログラミング利用とかで。

ぐるぐる系SQL @bleis

@a_hisame たぶんライブラリとかだと違うんだろうけど、アプリケーション書くときはそこはあんまり不安にならないというか・・・

あひさめ @a_hisame

@bleis Webページとかと対応させて書くならその気持ちはわかる気がする。やっぱり使用する領域しだいかなぁ？

ぐるぐる系SQL @bleis

@a_hisame だと思う

あひさめ @a_hisame

@bleis まあ、結局両方使えればいいよね！ってことに落ち着く気もする。まだ私が動的言語を積極的に使いたい問題に踏み込んでないだけかなぁ。

ぐるぐる系SQL @bleis

@a_hisame とりあえず、Groovyやってみるといいかも。プログラミングGROOVYがおすすめ

あひさめ @a_hisame

@bleis もう買って一通り読んだ。……が、「あれ、Scalaでよくね？」感が拭えなかった。

ぐるぐる系SQL @bleis

@a_hisame AST変換がアツい！

あひさめ @a_hisame

@bleis おいしそうだったけど、業務のどこで使うのかが私には見えてこなかった……

ぐるぐる系SQL @bleis

@a_hisame AST変換で冗長なコードを一掃できる感

あひさめ @a_hisame

@bleis ふーむ。そのヒントの元にもう一回見てみようかな。 # まあ、実際JavaをGroovyで置き換えれるなら十分といえば十分な気がするけど先にScalaを知ってると比較してしまうなー、と。