200(1): デフォルトの名無しさん [sage] 2024/06/16(日) 12:27:02.82 ID:EH7/X6SF(1/2) AAS
>>198
全ての言語仕様を「仕様書」としてまとめる提案は出ているんだけど何年も動きがないんだよね……

559(2): デフォルトの名無しさん [sage] 2024/07/02(火) 10:27:11.96 ID:LnXo4/R2(1/2) AAS
>>538
result.and_then(|val| Ok(f(val)?))
とか
result.and_then(|val| Ok(f(val).unwrap()))
じゃなくて
result.and_then(|val| Ok(f(val)))
で良いのはなぜ？

534(3): デフォルトの名無しさん [sage] 2024/07/01(月) 12:59:53.25 ID:irzLgX5l(1) AAS
>>525
こう書くとresultがErrの時に返せずここでpanicになってしまう

　let val = result.unwrap();
　f(val)

そのためpanicしてもいいとか絶対にErrとならない特殊な場合を除けば
unwrapを用いてはダメでmapを使ってこのように書くんだよ

　result.map(|val| f(val))

ここで本当に関数fを呼ぶだけならresult.map(f)と簡略化できるけど
f(val)の部分は式やブロックの可能性もあるので簡略化せずに進めるね

これは以下と同等でErr(err)の時に保持してくれている

　match result {
　　Ok(val) => Ok(f(val)),
　　Err(err) => Err(err),
　}

ちなみにf(val)もResultを返すときは
mapの代わりにand_thenがある

　result.and_then(|val| f(val))

つまり以下の二つは同等

　result.map(|val| f(val))
　result.and_then(|val| Ok(f(val)))

この場合はもちろん簡素なmapを用いるべき

675(1): デフォルトの名無しさん [sage] 2024/07/09(火) 13:20:56.23 ID:aoAam1/W(2/5) AAS
>>674
φ(x) のxはオブジェクトと明記されてるのが見えないのかね
さらにSはTのサブタイプと明記されている
Rustのtrait自体はオブジェクトを持たない
さらにtraitを実装する二つの型同士にサブタイプの関係は生じない
つまり対象外でφが存在しないため事前条件も何もない

673(2): デフォルトの名無しさん [sage] 2024/07/09(火) 12:57:46.02 ID:aoAam1/W(1/5) AAS
>>672
自分でそれを書いておいて理解できていないのかよ
そこに明記されてるようにTもSもオブジェクトを持つ具体型についての話だ
Rustのtraitは具体型ではないため関係ないぞ
そしてtraitを実装する各型の間にはサブタイプの関係はないためそこも対象とならない
そこを理解できずに「RustのTraitは力不足」とデタラメを吹聴するのは恥ずかしい

721(3): デフォルトの名無しさん [] 2024/07/10(水) 13:29:52.02 ID:kPG9kWdt(1/2) AAS
>>701
そのやり方がなぜ悪いのか理解できませんので、教えてください。
例えば、C++だと、以下の様にするのも別に悪いやり方ではないような
気がするのですが。
class Number {・・・};
Number add(Number &a, Number &b);
Number mul(Number &a, Number &b);
class Integer : public Number {・・・};
class Rational : public Number {・・・};

915(1): デフォルトの名無しさん [sage] 2024/07/21(日) 12:21:47.94 ID:QhoywuRk(4/4) AAS
なぜ Vec から HashMap は from が使えないのか？
の問いに GPT は答えてくれない