トップページ > プログラム > 2015年01月25日 > 47J/10kQ

書き込み順位&時間帯一覧

20 位/197 ID中時間01234567891011121314151617181920212223Total
書き込み数0000010000101000000000003



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん
プログラミング言語 Rust
関数型プログラミング言語Haskell Part27_©2ch.net

書き込みレス一覧

プログラミング言語 Rust
185 :デフォルトの名無しさん[sage]:2015/01/25(日) 05:05:02.45 ID:47J/10kQ
>>184の問題の再現コードは、
trait DeclaredTrait {
type Type;
}
impl DeclaredTrait for i32 {
type Type = i32;
}
struct Struct<B: DeclaredTrait> {
b: B,
b1: B::Type,
}
とあり、 Struct { b: 0, b1: 0}などとするとICEになるが、色々試した結果、Structを少し弄って
struct Struct<T, B: DeclaredTrait<Type=T>> { ...
とすれば回避できることが分かった。やったと小躍りしていたらfixされた。Oh...
関数型プログラミング言語Haskell Part27_©2ch.net
286 :デフォルトの名無しさん[sage]:2015/01/25(日) 10:35:28.00 ID:47J/10kQ
労多くて益少なしだよ。遅延させた方が速くなる場合は多くないし、
正格評価の言語なら遅延評価させたい部分で()->*を渡すだけでいいのだから。
関数型プログラミング言語Haskell Part27_©2ch.net
289 :デフォルトの名無しさん[sage]:2015/01/25(日) 12:30:43.11 ID:47J/10kQ
メモ化自体は、副作用ありの言語なら1関数渡すだけでいいが、call by needにはできない。
副作用無しの言語ならメモ化も面倒。

けどメリットは少ない。


※このページは、『2ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。