Closures vs Objects (228ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
195(1): 02/22(土)00:16 ID:2igDN88l(1/7)調 AAS
>>194
>一般的に型は静的に扱えるなら静的に扱える方が有利
コンパイル時に検査できるものはすればいい
>コンテナも制約を受けるとわかっているならなぜそちらも型パラメータにしないのか？
>フィールド 't' だけを型パラメータにしていることを問題視している
コンテナが制約を受けるのか値が制約を受けるのかは、単に構文と処理系の実装の問題。意味的にはどちらも制約を受ける
変数aの型によって動作が変わる関数を、a.foo()と書く仕様にしようがfoo(a)にしようがどちらでもいいのと同じ
というか「必要性がわからない」なら、首を突っ込まなきゃいいのでは
196: 02/22(土)00:26 ID:2igDN88l(2/7)調 AAS
>コンテナも制約を受けるとわかっているならなぜそちらも型パラメータにしないのか？
あなたがそうしたけりゃそうすりゃいいだけの話
「集合Gは群であるとする」といっている人に対して、
「群構造は二項演算*、単位元e、逆演算・^(-1)にも依存するのに、なぜ(G, *, e, ・^(-1))と書かないのか」とか言っているようなもん
そう書きたきゃそう書けばいい
俺はめんどくさいからそうしないだけ
198: 02/22(土)00:31 ID:2igDN88l(3/7)調 AAS
>>197
静的で済むならそれでいいじゃん
型なんだから
199: 02/22(土)00:34 ID:2igDN88l(4/7)調 AAS
型を動的に生成する、つまり実行時に決まる値に型が依存していても、コンパイル時に検査できる場合はある
ということが分かっていない？
201(2): 02/22(土)00:37 ID:2igDN88l(5/7)調 AAS
たとえばList nで長さnのリストを表すとする
nが実行時に決まる値だったとしても、関数
concat: List n -> List m -> List (n + m)
の型はコンパイル時にチェックできる
202: 02/22(土)00:39 ID:2igDN88l(6/7)調 AAS
>>200
うん
だから、そう書きたきゃそう書けばいいじゃん
204: 02/22(土)00:45 ID:2igDN88l(7/7)調 AAS
正直、あなたの意図がよくわからない
こちらの言っていることが理解できないのか、わざわざこんな辺鄙なスレでよく分からん難癖をつけるのが楽しいのか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s