ToDo:
というフレーズは普通に公開情報みたいだ。
http://googletesting.blogspot.com/
まぁ僕は Testing も sucks だとおもう。 だってつまらんし。 適量なら Debugging の方がまだ面白かったりするしな。
(T-T) Debugging ('-') Testing (^-^) Validation
とか考えながら、やっぱスクリプト言語も OCaml 的な型宣言欲しいよなーと思った。 OCaml の型宣言はしたいところだけできて良い。 Ruby とかもできるんのかな。
def f(s : String) end f(123)
こんくらいならコンパイル時にハネられるだろう。 こういうのくらいでもそれなりに助かるんだよなー。 ってたぶん soutaro さんとかはそいうのしてるって話だったんだとおもう。
あともちろんこいう s : String とかは 標準ライブラリに使われているべきではないとおもう。 duck typing が生きなくなるから。 ただまークライアントコード書いてる時に ここ縛り強くしたいなーとかいう時にできるとうれしいわけだよね。
class String limit +(rhs : String) end
とかだけで制限強くできるとうれしいかもな。
あと duck typing と言えば Ada かなんかにあった このメソッドがあるクラスじゃないとダメ、 とかできると嬉しい気もするんだけど、 それこそ特異メソッドがどうしようもないので まぁそれはムリだな。
(15:55)
前 | 2007年 6月 |
次 | ||||
日 | 月 | 火 | 水 | 木 | 金 | 土 |
1 | 2 | |||||
3 | 4 | 5 | 6 | 7 | 8 | 9 |
10 | 11 | 12 | 13 | 14 | 15 | 16 |
17 | 18 | 19 | 20 | 21 | 22 | 23 |
24 | 25 | 26 | 27 | 28 | 29 | 30 |
全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。
メソッドしか見ていないので、is_a? Stringじゃないとダメ、とかはできません。宣言もできません。
def f(s)
"(" + s + ")"
end
f(123)
ならハネられます。
>Ada かなんかにあったこのメソッドがあるクラスじゃないとダメ
Ada(のgeneric)はメソッド(なんて呼ばれるものは無いですが)もパラメータのうちですのでかけ離れてる気がします先生。
それこそOCaml(かC#の次のやつか)あたりでは……?
Emerald の structural-based conformance? や、論文の中身読んだことありませけど。
しかしなんでこんなに突然コメント欄がにぎやか…? なんかまぁありがとうございます。
> soutaro さん
あーなんかそれはなんかすごく大変そうな気がするんですが、なんかすごいですねえ。一体どうなってるんだか、という。
> YT さん
そういえば Ada はむしろ一々書かにゃならんとか教えていただきましたね。 OCaml はダックタイピングなのかと思ってたらつい最近静的に結合してるって聞いて驚きました。どうなってるのかよくわかりません。
> kjana さん
Emarald というものからして始めて聞きました。あと conformance って英単語を知りませんでした。今度勉強してみようかと思います。