次世代言語Part7[Go Rust Swift Kotlin TypeScript]

次世代言語Part7[Go R ..

158:デフォルトの名無しさん
17/10/26 05:10:18.37 IaYxMsud.net
Haskellなら副作用だらけのコードは断固拒否するだけだが
Rustで副作用を拒否すると延々と粘着されそう
ついでにPythonは静的型を拒否するだけだが
Goはジェネリクスがない件で永久にいじめられるんだろう

159:デフォルトの名無しさん
17/10/26 07:04:11.52 hnEjL22C.net
Haskellは速さは捨てて副作用を無くすことに全振りしてるけど、Rustはそうではないからな

160:デフォルトの名無しさん
17/10/26 09:12:10.17 ZXFAdbhr.net
Rustはunsafeつかえば（ffiしたほうがはやいだろうが）できないことはないと思ってるんだが違うのかな？

161:デフォルトの名無しさん
17/10/26 09:59:20.18 tFGGFqQC.net
Goはいつものgoogleのフカしで持ち上げられてる感がプンプンするぜ。
単なる昔ながらのVM使ってない静的型付け言語を
システムプログラミングとかいうバズワードを作って
スクリプトしか描いたことない奴らにいかにも新しいものであるかのように錯覚させてる。

162:デフォルトの名無しさん
17/10/26 10:42:13.95 1t2EMvpb.net
>>157
初めからプログラム全体をunsafeで囲ってある状態を仕様にすればいいのにな
>>158
バズワードだろうがなんだろうが、速くて書きやすけりゃ正義よ

163:デフォルトの名無しさん
17/10/26 10:47:47.28 Y5WhyQQy.net
最近は新しいOSSもGoで書かれてるの多くてうんざりする
再来年辺りには「Goは終わった」とか言われだしてScalaと同じ道を辿るのわかりきってるのにWeb系の馬鹿共は何度同じ間違いを繰り返すのか

164:デフォルトの名無しさん
17/10/26 11:10:35.34 8qIiNs+I.net
個人的にはDが一番純粋なc++ 後継って感じで頑張って欲しいんだけどなぁ
まったく流行る兆しがない……
別に新しい言語を求めてるんじゃないんだ。c++ からc互換を取り除いて標準ライブラリと文法見直してくれるだけでいいんだ

165:デフォルトの名無しさん
17/10/26 11:45:28.73 xVKEuI/f.net
>>160
「新しいOSSもGoで書かれてるのが多」いのに
「再来年辺りには『Goは終わった』とか言われだ」すのか。すげえな
まあGo2.0の漏れ聞く噂によると可能性なくもないんだが

166:デフォルトの名無しさん
17/10/26 11:47:37.13 xVKEuI/f.net
>>161
GC言語な時点でそりゃねえわ
全く同じ理由でGoもC++の完全な後継ではないと思ってるけど

167:デフォルトの名無しさん
17/10/26 11:54:33.47 Y5WhyQQy.net
>>162
Scalaという前例があるからね
特にビッグデータ系はScalaのOSSが多くて悲惨だよ
壮大な糞の山が残されてしまった

168:デフォルトの名無しさん
17/10/26 12:17:09.48 xVKEuI/f.net
>>164
Scalaが廃れた理由は、言語のバージョンアップ戦略がクソof

169:クソだったってのとコンパイル回りの性能が悪いっていう言語自体の特徴、それから置き換えを狙っていたはずのJavaの進化に取り残されたことっていう色々と複合的な原因がある Goがその後追いをするかって言われると、少なくとも書きやすさの面でC++がGoに勝てる目は向こう5年はないだろうし、バージョン戦略は少なくとも1系の間は下位互換性崩さんだろうしな

170:デフォルトの名無しさん
17/10/26 12:19:58.53 xVKEuI/f.net
不安があるとするなら、なんか1系と完全に互換性なくすとか言われてるGo2.0なんだよな
この辺の方針次第では、おっしゃる通り再来年にはゴミの山になってる可能性が無視できない
Swiftがクソバージョンアップでもなんとか成功してるのはプラットフォーム囲い込んでるのがでかい

171:デフォルトの名無しさん
17/10/26 12:27:59.75 P+s05bng.net
AA木のRust版の移植を練習がてらやったぞ。
みんなunsafeが必要とか言ってるが、別に必要なくない？
ポインタ演算もサイズの違う型の変換もしてるわけじゃないから生ポインタ扱う必要ないと思うんだけど。
だた、マジで愚直に移植したから全くRustっぽくはないし、
俺がバカなだけで無駄なオーバーヘッドが気づかんうちにいっぱい発生してるかもだから指摘よろしく。
一応何回か適当にinsertとremoveして正しく動いてるとこまでは確認してる。
みんなunsafe使わないとダメ的なこと言ってるから正直これでいいのか全然自信がない。

172:デフォルトの名無しさん
17/10/26 12:28:38.79 P+s05bng.net
#[derive(Debug)]
struct Tree {
value: i32,
left: Option<Box<Tree>>,
right: Option<Box<Tree>>,
level: isize,
}
fn level(root: &Option<Box<Tree>>) -> isize {
if root.is_none() {
return 0;
}
root.as_ref().unwrap().level
}
fn left_end(root: &Option<Box<Tree>>) -> &Option<Box<Tree>> {
if root.is_none() {
root
} else if root.as_ref().unwrap().left.is_none() {
root
} else {
left_end(&root.as_ref().unwrap().left)
}
}
（続く）

173:デフォルトの名無しさん
17/10/26 12:29:34.82 P+s05bng.net
fn right_end(root: &Option<Box<Tree>>) -> &Option<Box<Tree>> {
if root.is_none() {
root
} else if root.as_ref().unwrap().right.is_none() {
root
} else {
right_end(&root.as_ref().unwrap().right)
}
}
fn skew(mut root: Option<Box<Tree>>) -> Option<Box<Tree>> {
if root.is_none() {
return root;
} else if root.as_ref().unwrap().left.is_none() {
return root;
} else if root.as_ref().unwrap().left.as_ref().unwrap().level != root.as_ref().unwrap().level {
return root;
}
let mut left = root.as_mut().unwrap().left.take();
root.as_mut().unwrap().left = left.as_mut().unwrap().right.take();
left.as_mut().unwrap().right = root;
left
}
(まだ続く)

174:デフォルトの名無しさん
17/10/26 12:30:37.02 P+s05bng.net
fn split(mut root: Option<Box<Tree>>) -> Option<Box<Tree>> {
if root.is_none() {
return root;
} else if root.as_ref().unwrap().right.is_none() {
return root;
} else if root.as_ref().unwrap().right.as_ref().unwrap().right.is_none() {
return root;
} else if root.as_ref().unwrap().right.as_ref().unwrap().right.as_ref().unwrap().level != root.as_ref().unwrap().level {
return root;
}
let mut right = root.as_mut().unwrap().right.take();
root.as_mut().unwrap().right = right.as_mut().unwrap().left.take();
right.as_mut().unwrap().left = root;
right.as_mut().unwrap().level += 1;
right
}

175:デフォルトの名無しさん
17/10/26 12:31:04.94 P+s05bng.net
fn decrease_level(mut root: Option<Box<Tree>>) -> Option<Box<Tree>> {
if root.is_none() {
return root;
}
let left_level = level(&root.as_ref().unwrap().left);
let right_level = level(&root.as_ref().unwrap().right);
let mut expected_level = 0;
if left_level < right_level {
expected_level = left_level + 1
} else {
expected_level = right_level + 1
}
if expected_level < root.as_ref().unwrap().level {
root.as_mut().unwrap().level = expected_level;
if root.as_ref().unwrap().right.is_some() {
if expected_level < root.as_ref().unwrap().right.as_ref().unwrap().level {
root.as_mut().unwrap().right.as_mut().unwrap().level = expected_level;
}
}
}
root
}

176:デフォルトの名無しさん
17/10/26 12:31:51.05 P+s05bng.net
fn insert_tree(mut root: Option<Box<Tree>>, value: i32) -> Option<Box<Tree>> {
if root.is_none() {
root = Some(Box::new(Tree {
value: value,
left: None,
right: None,
level: 1, }));
} else if value > root.as_ref().unwrap().value {
root.as_mut().unwrap().right = insert_tree(root.as_mut().unwrap().right.take(), value);
} else {
root.as_mut().unwrap().left = insert_tree(root.as_mut().unwrap().left.take(), value);
}
root = skew(root);
root = split(root);
root
}

177:デフォルトの名無しさん
17/10/26 12:34:16.58 P+s05bng.net
fn remove_tree(mut root: Option<Box<Tree>>, value: i32) -> Option<Box<Tree>> {
if root.is_none() { return root; }
else if value == root.as_ref().unwrap().value {
if root.as_ref().unwrap().left.is_none() && root.as_ref().unwrap().right.is_none() {
return None;
} else if root.as_ref().unwrap().left.is_none() {
let succ = {
let end = left_end(&root.as_ref().unwrap().right);
end.as_ref().unwrap().value
};
root.as_mut().unwrap().right = remove_tree(root.as_mut().unwrap().right.take(), value);
root.as_mut().unwrap().value = succ;
} else {
let pred = {
let end = right_end(&root.as_ref().unwrap().left);
end.as_ref().unwrap().value
};
root.as_mut().unwrap().left = remove_tree(root.as_mut().unwrap().left.take(), value);
root.as_mut().unwrap().value = pred;
}
} else if value > root.as_ref().unwrap().value { root.as_mut().unwrap().right = remove_tree(root.as_mut().unwrap().right.take(), value); }
else { root.as_mut().unwrap().left = remove_tree(root.as_mut().unwrap().left.take(), value); }
関数途中です（1レスに収まらんかった）

178:デフォルトの名無しさん
17/10/26 12:37:30.92 P+s05bng.net
root = decrease_level(root.take());
root = skew(root.take());
root.as_mut().unwrap().right = skew(root.as_mut().unwrap().right.take());
if root.as_ref().unwrap().right.is_some() {
root.as_mut().unwrap().right.as_mut().unwrap().right = skew(root.as_mut().unwrap().right.as_mut().unwrap().right.take());
}
root = split(root.take());
root.as_mut().unwrap().right = split(root.as_mut().unwrap().right.take());
root
}
終わり。
クソコードの上に長くてほんとすんません。
あと、おもてのコードでは一度もunsafeは使ってはないけど
Option型のtakeメソッドが所有権を誤魔化すために裏でunsafe使ってる。
あとは、裏でも使ってないと思う。

179:デフォルトの名無しさん
17/10/26 12:39:25.88 xVKEuI/f.net
Rustトーシロの初見だけどこんなにunwrap必要なの怖いって気分になるな……
CのポインタをOption<Box<>>で表現してるからしゃーないとはいえ

180:デフォルトの名無しさん
17/10/26 12:39:26.85 P+s05bng.net
ここまでやったらもう飽きた。
誰かメソッド構文とかコンビネータとかをきちんと使ったRustyなコードに書き換えて。

181:あ
17/10/26 12:42:49.23 +cEqlMCT.net
Rust嫌いな奴はCをすぐ引き合いに出すが、misraの案件やったら死ぬんじゃねえかなって思う。
GC言語も悪くはないぞ。ちゃんとGCの動き考えれば、正しく開放「されてない」理由もわかるだろ。
最初からデカイ配列を握って離さない、それを切り貼りして使う、みたいなJavaのプロジェクトあるしな。

182:デフォルトの名無しさん
17/10/26 12:50:10.86 P+s05bng.net
>>175
あくまでも愚直に書いてるからこんなにunwrapとas_refとas_mutだらけになる。
if letとかコンビネータとかをきちんと使えばこんなひどいコードにはならないよ。

183:デフォルトの名無しさん
17/10/26 16:47:19.95 hnEjL22C.net
rustのコード<>だらけで読みにくい
これはlispの括弧みたいに慣れたら読みやすいものなのか？

184:デフォルトの名無しさん
17/10/26 17:58:11.26 9syp6YaG.net
>>153
難しいとは言ってもOOP→関数型のパラダイムシフトに比べれば簡単だけどね

185:デフォルトの名無しさん
17/10/26 20:01:45.08 mFTohykf.net
>>154
おい、お前でてこいよ

186:デフォルトの名無しさん
17/10/26 21:09:45.15 LcYnzbeR.net
rust も haskell も理解できても面倒だし無駄に言語に気使ってるだけじゃねーかって
思うんだが、信者はききやしない。。
「お前らは理解できないものを理解できる俺偉い」で思考停止しちゃってんだよ。

187:デフォルトの名無しさん
17/10/26 21:15:34.16 hnEjL22C.net
一番言語に気を遣わないといけないのはC++だがなｗ

188:デフォルトの名無しさん
17/10/26 21:19:35.59 +/fzZ2Vi.net
型っていうシステムが
そもそも良くないっていうのは無いの？

189:デフォルトの名無しさん
17/10/26 21:46:13.96 OTLFFL6d.net
>>181
出てきたが、お前まさかこんな汚いコード未満とCのコード比較させる気か？勝負にならん。解散
>>182
それならマシで、Rust信者の工作員はモジラブランドのためなら使えないものを世界中の企業に絶賛させるための工作をに熱心すぎてもうね

190:デフォルトの名無しさん
17/10/26 21:54:28.12 PekP06rX.net
>>185
おめー流石に一から書いてもいない奴が言うセリフじゃねえよ
Cライク信者からしても何様だてめえは

191:デフォルトの名無しさん
17/10/26 21:55:02.68 mFTohykf.net
>>185
てめえがしね

192:デフォルトの名無しさん
17/10/26 22:34:09.13 P+s05bng.net
>>182
「俺偉い」はさすがにないわ。笑かすな。
Rustに移植してみての感想だけど、確かにコンパイルを通すのには苦労したけど、
通ってしまえばメモリーリークはないって安心感がある。これが重要。
特に今回はunsafe一度も使ってないからなおさら安心できる。
Cのほうのコード一通り眺めてメモリーリーク無いって確信できる？
それができる超人君なら確かにRustは全く必要ないが。
Rustは君の嫌う面倒さと引き換えに安心を得ることができる言語。
むしろCで書いたコードにメモリーリークがあるのかないのか
自分の書いたコードに自信が持てないやつのためにこそRustがあると思ってる。
面倒だけが理由で思考停止しているのはどっちだ。
>>185
確かにこのコードは汚いよな。そこは自覚してる。

193:マジで誰かRust風に書き換えてくれない？動いたところまで確認したところで集中が切れてしまってもうやる気が出ない。 Rustはオブジェクト指向も関数型のパラダイムを両方とも持っているし、きちんと書けばかなり綺麗で整ったコードに書き直せるはずなんだよ。あと、Rustアンチに１つ聞きたいことがある。 Rustが嫌いってことはわかったけど、じゃあアンチ君の好きな(愛用してる)言語は何なの？その言語のメリット・デメリット含めて詳しく解説してくんない？

194:デフォルトの名無しさん
17/10/26 23:26:00.76 LcYnzbeR.net
はっきり言わせてもらうけれど、
この規模のコードで書くのにそれだけ苦労する価値があると思えんが。
メモリリークについてもこの規模なら一通り見て、あるかないかくらい判断できるよ。
まあ主観といえば主観だけれど
本当に本心からこの程度のコードについてメモリリークを心配しちゃってるの？
言語を持ち上げるために無理に納得しようとしてない？

195:デフォルトの名無しさん
17/10/26 23:35:06.69 9syp6YaG.net
そりゃこの程度の規模じゃRust使うメリット皆無だよ
で、実際のプロジェクトがこの程度の規模なの？

196:デフォルトの名無しさん
17/10/26 23:35:07.35 51LPFkSD.net
なんでこの規模に限定した話をされているの？

197:デフォルトの名無しさん
17/10/26 23:37:41.83 9syp6YaG.net
Rustアンチスレ
ｽﾚﾘﾝｸ(tech板)

198:デフォルトの名無しさん
17/10/26 23:40:05.21 JSzFTz38.net
ブラウザの性能が圧倒的にchromeより上になったらrustの優位性が証明されるけど。
それをまとうかな。

199:デフォルトの名無しさん
17/10/27 00:07:16.82 xwp9Pca0.net
性能の差で優位性を証明したことなんて今まであったっけ
オブジェクト指向も関数型もiPhoneもみんな性能と関係ない価値観だったような

200:デフォルトの名無しさん
17/10/27 00:42:45.70 5+s2yfDd.net
>>185
さすがにコード一行も書いてない奴が言っていいセリフじゃねえわ……
>>189
さすがに後出し条件がひどい。そもそも発端は「Rustでは（unsafe使わずに）木構造すら書けねえだろ」って煽りが発端で
「さすがに木構造くらい（unsafeなし）Rustででも書けるわ」ってのの話がこれだろ
そりゃコンセプトが「安全性」なんだからCで書くより面倒なのは確かだし、この程度ならCの方がいいってのも当然だが、
そこを比較するために書いたもんじゃねえだろ

201:デフォルトの名無しさん
17/10/27 00:47:50.32 /3yfU/y8.net
見苦しくなってきたな

202:デフォルトの名無しさん
17/10/27 03:40:11.56 LQlgBzJd.net
流石に自演かすぎる…

203:デフォルトの名無しさん
17/10/27 06:31:17.46 2A0a9mBA.net
>>183
そんなことはないと思うが
何か具体例ある？

204:デフォルトの名無しさん
17/10/27 06:34:38.22 2A0a9mBA.net
>>195
言いたいことはわかるが
その「この程度」のも全部快適に書けるのが理想なわけだよね
この程度のをいっぱい書かなきゃいけなくなったときにこの調子じゃ萎える人も出てくるだろう

205:デフォルトの名無しさん
17/10/27 09:50:28.38 T+eCoUsJ.net
>>195
安全性のためとか言って結局まともにかけないアルゴリズムがあることを見て見ぬふりの信者
健康のためなら死んでもいいを地で行ってるな
これが宗教ってやつか

206:デフォルトの名無しさん
17/10/27 10:02:50.33 LQlgBzJd.net
Rustが面倒そうなのは伝わったが
C側の奴がコピペ野郎のくせに暴れてるクズすぎてなんとも

207:デフォルトの名無しさん
17/10/27 10:35:02.10 aniL1VIL.net
>>200
まともに書けるけど無料で教えてくれる人が少ないだけだってそろそろ気付けよ
普通は健康のためではなくカネのためにやってるから

208:デフォルトの名無しさん
17/10/27 11:13:40.46 T+eCoUsJ.net
というかさ、Rustのコードバグってるんだけどwwwww
バwグwっwてwるwんwだwけwどwwwww
remove_treeで要素Removeできてないwwwww
Rustはコンパイル通れば安心できる（ドヤァ）とかいってバwグwっwてwるwwwww

209:デフォルトの名無しさん
17/10/27 11:26:28.21 T+eCoUsJ.net
ここにRustは、安全性を高めると言いつつまともにアルゴリズムを書こうとすると制約回避のためにとてつもなく汚いコードになり、
バグもCより出やすくなることが公になりましたとさ
ちゃんちゃん

210:デフォルトの名無しさん
17/10/27 11:40:28.33 AXKOuk3Y.net
>>198
言語に気を遣わないとすぐ自分の足元を撃ち抜く言語であるということに同意しないということ？
具体例っていざ言われると困るなあ。ふと思い出した阿呆な失敗談を一つ挙げると、クラスの値型配列を作れちゃうところとか、クラスは絶対ポインタで持たないといけないDとは対照的に感じたな
常識的に考えたらクラスの値型配列なんてやったらダメなのはわかるんだけど、なぜかやってしまって、コンパイル通ってんのに思ってたのと違う挙動して困ったわ。こういう常識的に考えたらわかるけど、考えないといけない部分があるから言語に気を遣わないとやっていけん。
これは全然大したことない例だけど、なんか他にもあったような気もするし思い出したら書き込むわ

211:デフォルトの名無しさん
17/10/27 12:04:57.19 aniL1VIL.net
代入がなければ値型でもポインタでも同じ挙動だ
だから、代入しようとしたらコンパイルが通らない言語が現れた

212:デフォルトの名無しさん
17/10/27 12:27:06.09 Luz9kSs/.net
haskell追い出したら次はrustですか？

213:デフォルトの名無しさん
17/10/27 12:49:17.54 aniL1VIL.net
追い出す権利はないね
あると思ってるやつは権利に甘えすぎ

214:デフォルトの名無しさん
17/10/27 12:53:49.35 BmYygdVN.net
URLﾘﾝｸ(cpplover.blogspot.jp)
まあこう言う馬鹿がいなくなるまでは
実際のコードについて議論したほうがいいとは思うよ。
別にrustとかhaskellが悪いとは思わんけれど、コードなんて実際に現場で機能するかどうかが
一番重要なわけだから。原理に走ると都合の悪いことを無視し始めるのは気に入らん。

215:デフォルトの名無しさん
17/10/27 13:27:23.45 OeXtCDV4.net
>>203
すまぬ。すまぬ。完全なうっかりミスだったわ。
訂正した。
fn remove_tree(mut root: Option<Box<Tree>>, value: i32) -> Option<Box<Tree>> {
if root.is_none() { return root; }
else if value == root.as_ref().unwrap().value {
if root.as_ref().unwrap().left.is_none() && root.as_ref().unwrap().right.is_none() {
return None;
} else if root.as_ref().unwrap().left.is_none() {
let succ = {
let end = left_end(&root.as_ref().unwrap().right);
end.as_ref().unwrap().value
};
>> 訂正前 root.as_mut().unwrap().right = remove_tree(root.as_mut().unwrap().right.take(), value);
>> 訂正後 root.as_mut().unwrap().right = remove_tree(root.as_mut().unwrap().right.take(), succ);
root.as_mut().unwrap().value = succ;
} else {
let pred = {
let end = right_end(&root.as_ref().unwrap().left);
end.as_ref().unwrap().value
};
>> 訂正前 root.as_mut().unwrap().right = remove_tree(root.as_mut().unwrap().right.take(), value);
>> 訂正後 root.as_mut().unwrap().right = remove_tree(root.as_mut().unwrap().right.take(), pred);
root.as_mut().unwrap().value = pred;
}
} else if value > root.as_ref().unwrap().value { root.as_mut().unwrap().right = remove_tree(root.as_mut().unwrap().right.take(), value); }
else { root.as_mut().unwrap().left = remove_tree(root.as_mut().unwrap().left.take(), value); }
...

216:デフォルトの名無しさん
17/10/27 14:02:45.56 OeXtCDV4.net
>>204
何度も言ってるがこのコードが汚いのは制約回避のためじゃなくて、Cのコードを愚直に移植してるからだぞ。
CのNULLを表現するためにOption型を使用してるから、コンビネータとかを
きちんと使わない限りはunwrapだらけになってコードが汚くなる。
Rustのコードが汚いんじゃなくてRustyに書いてないから汚いだけ。
同じことを何度も言わせないでくれ。
確かに、Rustはコンパイル通すために苦労するから、
執行錯誤してるうちにうっかりミスしやすくなるという考えはあるのかもな。
まあ、この程度のミスを犯す俺が単純にバカすぐるのか、これもRustの課題のひとつだと考えるかは
人によって意見が分かれてくるところじゃないか？みんなどう思う？

217:デフォルトの名無しさん
17/10/27 15:02:03.76 aniL1VIL.net
カネもないし時間のゆとりもないからコードが汚くなった
言語よりもカネと時間の使い方が間違っている

218:デフォルトの名無しさん
17/10/27 17:07:21.98 2A0a9mBA.net
>>205
クラスの値型配列はごく基本的で有用なデータ構造なんだけど…

219:デフォルトの名無しさん
17/10/27 17:26:21.22 2A0a9mBA.net
いや俺もちゃんと具体例出すか。例えば
class Point { public: double x; double y; }; だの Point3D だのが定義できて、
vector<Point> や Point v[..] が扱えなかったらシステムプログラミングなんかできやしない
…かどうかは別として別に値型の配列は必要なデータ構造だし、
immutable であれば直感に反した動作もないのでは。
実際に用途の多くは inmutable なオブジェクトの配列で、
C++17 では vector<const T> が許容されるようになりそうな流れ。

220:デフォルトの名無しさん
17/10/27 17:40:16.82 AXKOuk3Y.net
>>214
ああ、すまん。Dでは構造体は継承出来ない代わりに値型可能、クラスは継承出来る代わりに値型不能なんよ。そのイメージが残ってたわ。
継承したものを値型で混ぜ混ぜしてしまったというのが俺のミスなのです

221:デフォルトの名無しさん
17/10/27 18:04:05.75 697iydar.net
何でスレタイからHaskell外したんだよ
それならGo外せよ

222:デフォルトの名無しさん
17/10/27 18:39:17.91 BmYygdVN.net
なんか元々の C のコードを Rust に下から生じた問題みたいに言ってるけれど
tree のアルゴリズムを実直に書けばそういうふうになるだろ。
それってつまり実直にアルゴリズムを記述するのに向いてないって言ってるようなもんだろ。

223:あ
17/10/27 18:41:31.58 872yUCAe.net
また無様なHaskellのコード見るの嫌だし、むしろスレタイには言語一切入れんでもいいだろ。
好きなら、なぜ好きかを推すだけで充分議論になるのに、
他の言語を貶めて、○○はゴミだから△△が良い、って論調にするのはちょっとおかしいんじゃないの？
ホームレスが椅子で寝るの見て、俺はブラック企業戦士だけど屋根のある部屋で椅子で寝てるだけマシ、って言ってるように聞こえるよ。
好きで椅子で寝てるなら椅子寝のこだわりぐらい書けよ。パイプ椅子なら圧倒的に互い違い派だ、とか。

224:デフォルトの名無しさん
17/10/27 19:47:08.69 aniL1VIL.net
貶めるのが許せないという気持ちがよくわからない
例えば残業代未払いは許せるが貶めるのは許せないとか
なんでそういう優先順位になったのか理解できない

225:デフォルトの名無しさん
17/10/27 20:10:28.34 AXKOuk3Y.net
エアプガイジの言ってることわかる訳ないんだから絡むな��

226:デフォルトの名無しさん
17/10/27 20:13:53.36 AXKOuk3Y.net
Rust派の意見としては、
①TreeはCより汚いけど他のメリットが大きいから許せ
②もっとうまく書けるから俺が書いてやるぜ
③副作用のある木は糞
どれ？

227:デフォルトの名無しさん
17/10/27 22:02:47.00 atz35ani.net
>>218
隔離スレだしな。
プログラマ自体、人口のほんの一部だし、複数の計算モデルが異なる言語を使いこなしてるのなんて更に希少種だから、もともと言語のマトモな比較が出来る奴が殆ど居ない。
だからここで言い合ってるのはおま環がデフォ。

228:デフォルトの名無しさん
17/10/27 22:13:38.27 2kHVS/Sf.net
>>184
型がないと引数なり戻り値なりで与えられた情報をどう扱っていいかわからないでしょう

229:デフォルトの名無しさん
17/10/27 22:23:07.44 W2Xgzzyi.net
返り値が返るのも
それも副作用って事にならないのはなんで？

230:デフォルトの名無しさん
17/10/27 23:02:40.27 4WxMDiO8.net
式に値があるのは副作用と言わないから

231:デフォルトの名無しさん
17/10/27 23:04:58.68 2kHVS/Sf.net
>>224
主の作用だからだろ

232:デフォルトの名無しさん
17/10/27 23:23:42.05 LQlgBzJd.net
>>218
無様なHaskellコードって？

233:デフォルトの名無しさん
17/10/27 23:45:39.75 BmYygdVN.net
>>211
ちゃんと具体的にコードを書いてくれて議論しやすくしてくれたのはありがたい。
tree を rust で実装しろって言われたら 10 人中 9 人は Box と Option を
使ったそういう構造体作ると思う。

234:デフォルトの名無しさん
17/10/27 23:47:59.22 O21aknvD.net
>>214
Pointの例に限って言えば同意できないな
大量の小さなベクトルを扱うような場合、構造体を使うより各成分をそれぞれスカラー配列で持った方が効率いいよ
キャッシュに乗りやすくなる
C++系の言語で行

235:持ちの方が好まれるのは、一番の理由は言語の性質上そのほうが扱いやすいからに過ぎない最近は列指向DBなんかも普通に使われるようになって、データの列持ちが見直されつつある今、列持ちのデータ構造をスマートに扱える言語があってもいいと思うわ

236:デフォルトの名無しさん
17/10/28 00:01:16.09 rPyPw2Q2.net
>>229
Fortran, Juliaのことか？

237:デフォルトの名無しさん
17/10/28 00:03:34.74 1i6fvk7+.net
>>227
>無様なHaskellのコード
908 ：あ：2017/05/31(水) 09:15:21.09 ID:dc+IbjjD
>>905
具体的に上げろと言われてもなぁ。
<T>を持ったenumがOptionかcar(T)とcdr(<T,T>)である時くらいかな。
これのことじゃないの？（適当）

238:デフォルトの名無しさん
17/10/28 00:24:09.93 rPyPw2Q2.net
てか
>>229
> 各成分をそれぞれスカラー配列で持った方が効率いいよ
キャッシュに乗りやすくなる
これってどういう演算の時にそうなるんです？

239:デフォルトの名無しさん
17/10/28 00:46:39.85 pDpr3v8b.net
Rustアンチくんはペチパー
はっきりわかんだね

240:あ
17/10/28 00:51:22.50 Nq0Bzlbk.net
>>219
許せないんじゃなくて、健全ではないよね、と。
なんせ改善せずとも、自分があたかもまともであるかのように思える一番楽な方法だし、進歩もない。
>>222
ホントに。好きなら好きで良いんだよ。
バカで比べる事ができないなら素直に信者してりゃ良いの。
狂信者が戦争起こすような真似をネットでまでやらんでもよろしい。
>>227
>>231
しかも、結局すごくひねり倒してグダグダ言った割に、最後まで動くコードが出てこなかったんだけっけ。

241:デフォルトの名無しさん
17/10/28 00:58:11.14 Ng05dLeH.net
>>232
分かりやすいのはパディングが入るケース
ループのベクトル化もスカラー配列の方が効きやすいらしい

242:デフォルトの名無しさん
17/10/28 01:07:07.63 rPyPw2Q2.net
>>235
うーむ……
もしかしてPoint3Dのベクトルに一括して行列を掛けたりする状況を想定しているのか？

243:デフォルトの名無しさん
17/10/28 01:09:54.95 Ng05dLeH.net
そういう状況でもない限りそもそもボトルネックにならないからな

244:デフォルトの名無しさん
17/10/28 01:16:42.42 FXSZ1oP/.net
>>211
試行錯誤の過程でアルゴリズムぶっこわれるってのはよくあるが、そうならないためにテストコードがあるっちゃそうだから、
明確な欠点とは言えないかもな
まさかスレに貼るサンプルコードにまでテストコードつけろなんて言えねえし。

245:デフォルトの名無しさん
17/10/28 04:09:54.80 62CU1Qsk.net
>>234
ドアの奴なかな？
あれならHaskellのコード出てただろ
いつまで言ってるんだ

246:デフォルトの名無しさん
17/10/28 09:04:44.68 C9milqrp.net
コード出すという行動ではなく
コードが正義っていう知見への承認とか共感が欲しかったんじゃないか
だから行動だけでは駄目

247:あ
17/10/28 09:19:59.46 Nq0Bzlbk.net
>>239
じゃ、いつまで、スレタイにはHaskellが、って言ってんだよ(笑)

248:デフォルトの名無しさん
17/10/28 10:25:15.53 CAnYo5YI.net
なぜ私達は Python から Go に移行したのか
URLﾘﾝｸ(frasco.io)

249:デフォルトの名無しさん
17/10/28 10:45:03.08 rPyPw2Q2.net
よくあんな無様な知ったかぶりしといて人のこと無様とか言えるな

250:デフォルトの名無しさん
17/10/28 11:06:53.69 pDpr3v8b.net
これだからペチプァは

251:あ
17/10/28 11:20:03.53 McmdGm+1.net
>>243
自分が無様だと思ってる奴に無様だと言われるのはさぞ辛かろうが、
俺が無様なのとHaskell書いたやつが無様なのは別の事象で、
同時に無様でありえるんだから、その指摘はナンセンスだろ。
その理解力でHaskell最高！と思ってるのも面白いな。Maybeの真髄だろ。事象を整理するのは。

252:デフォルトの名無しさん
17/10/28 11:28:14.87 rPyPw2Q2.net
なんだこいつなんで俺がHaskell 信者みたいな前提で煽って来てんだ

253:デフォルトの名無しさん
17/10/28 11:36:54.21 c+qfWZBO.net
もう最新規格のFortranで良いよ

254:デフォルトの名無しさん
17/10/28 12:01:24.16 1i6fvk7+.net
Fortranに第一級関数がついてimplicit noneがデフォルトになってinterface文をもうちょっと短く書けるようになって引数の型指定をCみたいに書けるようになって
配列の大きさ指定の関数に組み込みでない関数を使えるようになってgfortranのbind(C)周りのバグを解消してくれたらFortranでいいよ

255:デフォルトの名無しさん
17/10/28 12:13:39.86 pDpr3v8b.net
西京言語PHPを使えばいいじゃん（いいじゃん）

256:デフォルトの名無しさん
17/10/28 12:20:24.44 aTcnbQEE.net
PHPが、前世紀末に流行したPerlでCGIという極悪システムを撲滅した功績は大きい

257:デフォルトの名無しさん
17/10/28 12:31:15.99 MXV4el39.net
mod_perlとだったら大して変わらん気がする

258:デフォルトの名無しさん
17/10/28 12:33:46.88 pDpr3v8b.net
＞PHPが、前世紀末に流行したPerlでCGIという極悪システムを撲滅した功績は大きい
キリッ
ｗｗｗ

259:デフォルトの名無しさん
17/10/28 17:09:33.99 GkEAGE6K.net
皆がCGIという共通ルールを守る中
汎用性のない独自実装をしたphp

260:デフォルトの名無しさん
17/10/28 17:24:26.31 6pjbn+cV.net
まあ今更Perlとかって選択肢はないからね

261:デフォルトの名無しさん
17/10/28 17:31:59.24 Hah9JG+z.net
FacebookはなんでPHP推しなの？

262:デフォルトの名無しさん
17/10/28 18:04:40.73 D4ynCBSM.net
PHPをC++に変換するんだっけ
むしろJavaをC++に変換するのを誰もやらない理由を知りたい

263:デフォルトの名無しさん
17/10/28 18:12:54.21 z3Njt94H.net
>>256
Javaは事実上サーバーでしか使われていないので、
全くメリットがないから

264:デフォルトの名無しさん
17/10/28 18:27:47.92 GkEAGE6K.net
phpのがサーバでしか使われてない印象
どっかで使ってる?

265:デフォルトの名無しさん
17/10/28 18:32:36.63 GkEAGE6K.net
>>254
別にCGIはperlでなくてもいいだろ
プロセスを起動するインタフェースのお約束だよな
perlは文字列処理が得意だっただけで

266:デフォルトの名無しさん
17/10/28 19:01:45.06 0vLNpJP2.net
PHPの特徴ってインスタンスの生存時間が極端に短い。ってこと。
request受けてからresponse返すまで。
だからGCが貧弱でも何の問題もないし。糞汚いコードでもメモリリークが問題にならない。

267:デフォルトの名無しさん
17/10/28 19:13:14.28 PFwR8W+K.net
>>256
GCC
URLﾘﾝｸ(news.mynavi.jp)
あと、AndroidはJavaじゃないからノーカンなのかもしれないが、
以前はネイティブに全部変換していたのをやめた

268:デフォルトの名無しさん
17/10/28 19:51:46.92 SOIebb5r.net
>>255
むしろPHPを積極的に潰そうとしてる印象なんだが
クソ挙動しかしないウンコ製造機PHPを潰すためにHHVMは作られたんだぞ

269:デフォルトの名無しさん
17/10/28 20:44:53.33 VLfN62TL.net
>>255
最初は何も考えずにお手軽に作れたからPHPだった
大きくなりすぎてから管理コストを考えてノロノロと移行を企てている
そんなとこだろ

270:デフォルトの名無しさん
17/10/28 21:07:01.93 ruX3/fgh.net
それ以上ペチパーの心のより所を叩くのはやめてやれｗ
彼ら、憤死してしまうでｗｗｗ

271:デフォルトの名無しさん
17/10/28 21:37:38.45 GkEAGE6K.net
>>260
言ってること滅茶苦茶だな

272:デフォルトの名無しさん
17/10/28 21:57:38.28 D4ynCBSM.net
伝えようとすれば滅茶苦茶
隠そうとすればバレバレ
だから型情報とか一生懸命伝えようとする言語が報われない

273:デフォルトの名無しさん
17/10/29 03:03:23.28 7slaGsXS.net
>>242
go 好きな人ってまともすぎてつまらんな。

274:デフォルトの名無しさん
17/10/29 05:05:09.88 ZPHcoPj2.net
>>261
ARTは全部変換なんてしてない
元からJITとAOTの複合

275:デフォルトの名無しさん
17/10/29 05:05:25.10 ZPHcoPj2.net
>>267
きんも

276:デフォルトの名無しさん
17/10/29 17:16:13.61 sv965ldD.net
>>268
URLﾘﾝｸ(gihyo.jp)
＞しかし，AOT方式をいざ導入してみると，サイズの大きなアプリのインストールや，
＞一度に複数のアプリをアップデートするような場合にコンパイルに時間がかかり，
＞場合によっては20分程度かかるケースが存在していたようです。
＞このインストール時間を問題と捉えて，Android NのARTでは，JIT方式をもう一度使うことになりました。

277:デフォルトの名無しさん
17/10/30 08:01:20.39 BetGXhC9.net
>>242
GOいいな

278:デフォルトの名無しさん
17/10/30 10:22:57.04 sonZMQS5.net
>>271
Goは色々足りないところも多いが、生産性にステガン振りしてるって点で評価できる
Rubyみたいに前借りではない

279:デフォルトの名無しさん
17/10/30 11:06:54.77 ywxMmK0+.net
Rubyの教訓は、「Perlよりマシ」に全振りしたけどPythonと比べると大したことなかった

280:デフォルトの名無しさん
17/10/30 17:27:48.73 ExtYgMew.net
Goのどこに生産性があるんだよ

281:あ
17/10/30 18:12:26.17 53AKimFl.net
>>274
そりゃ、ひたすら書ける部分だろ。
迷わんぞ。書く量が多いだけで。
生産性と言うと表現力ばっかり取り上げられるが、単位時間あたりのアウトプットも見ないといかん。
その点、信じられないレベルで楽。

282:デフォルトの名無しさん
17/10/30 19:01:45.29 ExtYgMew.net
>>275
行数多くなるから生産性が高いように見えるだけだろ

283:デフォルトの名無しさん
17/10/30 19:15:05.61 LhEsAIcv.net
そいつは関数型しったか野郎なので話すだけ無駄
無知が無知なりの常識で頑張って答えてくれるかも知れないけど参考にはならないだろう

284:デフォルトの名無しさん
17/10/30 20:23:14.16 1YWjfXwW.net
迷わずひたすらに書かれたF77のコード読みづらすぎ

285:デフォルトの名無しさん
17/10/30 20:45:20.95 uihdCXQ7.net
Goは構造体へのタグ埋め込みや、codegenまわりのツールが充実してるお陰で
ボイラープレートコードを書かんでいいのがでかい
それだけならLLでもできるが、テスト作ってから設置して実行するまでの作法が簡潔に固まってるのが更に強い
少なくとも時間当たりのテスト含めた成果物は他の言語と比べ物にならん

286:デフォルトの名無しさん
17/10/30 21:31:16.17 d6rNWUAL.net
逆に、汎用ライブラリ書こうとするととたんにinterface地獄になってボイラープレート増えるんだがな
だから、目の前の仕事の案件片付けるのに特化した言語だと思ってる

287:デフォルトの名無しさん
17/10/30 22:18:12.05 1mVUn5ql.net
>>221
ちょっといまさらだがRust版平衡木(AA木)をリファクタリングしたぞ。
まあ、だれも書いてくれそうになかったし、数日

288:たったらまたやる気も出たから自分でやり直したわけだが。基本的には②だが、すべて当てはまるな。 RustはNull安全なのでOption型のチェックが必須、コンパイラに所有権を伝えるためas_ref等が必要、デフォルトはイミュターブルのためミュータブルを扱うためにmutキーワードが必要などが主な理由。そこら辺の安全性と引き換えに多少は目をつぶってくれという感じはある。 ③に関しては副作用もあるが、それよりもどちらかというと木構造の回転操作みたいな変数の所有者が次々に代わるようなコードはRustでは所有権システムがあるため書きづらい。とはいえ、前のコードに比べれば大分マシにはなったかと。まあコードが綺麗か汚いかなんて個人の主観によるところが大きいから、まだ文句を言うやつもいると思うけど。。。特に>>217なんかには「どんなアルゴリズムだろうが言語によって最適な書き方は違う」ということをきちんと理解してもらいたい。あと、コードのリンクを貼るという手段があることを知った。比較できるように全て載せておく。 C版 https://wandbox.org/permlink/fc1xI7dDCdOMgysC Rust版 before https://wandbox.org/permlink/cbzzpLw97K2Tydk1 Rust版 after https://wandbox.org/permlink/ppQOQREnDlpccpJV

289:デフォルトの名無しさん
17/10/30 22:28:38.00 LhEsAIcv.net
ほう

290:あ
17/10/31 00:08:53.17 VssU1hfB.net
>>276
そーでもないぞ。
>>277
関数型以外シッタカの意識だけ高い系に言われてもな。
人をディスるんじゃなくて、自分を高めれば？
無理なんだろうけど(笑)

291:デフォルトの名無しさん
17/10/31 00:13:46.41 AszsXbkO.net
関数型以外シッタカ←根拠なしのただのディス
からの
人をディスるんじゃなくて自分を高めれば？
自戒かな？

292:デフォルトの名無しさん
17/10/31 00:16:52.10 xO8W0Vv5.net
そいつの相手しても得るもん無いってことくらいはそろそろ分かって欲しい

293:あ
17/10/31 00:17:14.17 VssU1hfB.net
言い返されてそれはみっともないリアクションだな。
よほど、関数型言語が好きなんだね(笑)
専スレ立ててやれよ。次世代言語でもないわ。

294:あ
17/10/31 00:19:38.37 VssU1hfB.net
好きなら好きで良いのに、なぜ固執するかわからん。
ナイフで整備できるようにネジを全部マイナスネジにしたロシア(？)の戦車みたいな間抜けな話と同じように、目的に対して使う道具なんか考えりゃ良いのに。

295:デフォルトの名無しさん
17/10/31 00:26:46.01 AszsXbkO.net
よほど関数型言語が好きなんだね←誰もそんなことは言っていない
なぜ固執するかわからん←固執していない
誰と闘っているんだコイツは。少なくとも俺じゃねえな

296:デフォルトの名無しさん
17/10/31 00:39:43.26 H/nTnETZ.net
おまえら旧世代猿人類どもはウンコブラシのプェチピィのゲリクソピィでもプリプリしてろ

297:デフォルトの名無しさん
17/10/31 01:21:58.60 nWIRKYZE.net
>>281
コンパイル通らんのを試行錯誤してる間に答えが出てしまった悲しみ
まとめてもらって感謝。勉強してみるわ

298:デフォルトの名無しさん
17/10/31 07:32:43.21 nUaOreAB.net
>>281
比較を載せてくれてありがたい。
やっぱり
C -> rust before -> rust after
となっていくごとに読みづらくなってるんだけれど。。

299:デフォルトの名無しさん
17/10/31 07:35:28.96 u9ib2mEN.net
>>270
それの何が反論になってると？
元から速度云々関係なしにネイティブ変換できない部分があったんだよ

300:デフォルトの名無しさん
17/10/31 09:37:19.94 EcpjGxny.net
>>291
root.as_ref().unwrap().level
を
root->level
と書いて良いというシンタックスシュガーを導入すれば良い気がする

301:デフォルトの名無しさん
17/10/31 09:56:03.51 nWIRKYZE.net
unwrapはNoneだった場合にランタイムクラッシュする関数だから本来使ったらアカン関数
この辺はnil安全うたってる言語はおおむねそう

302:デフォルトの名無しさん
17/10/31 10:23:24.56 2R0mp116.net
Goは最初期Javaかっていう後退レベルだし、Rustは木構造すら数日かかりで必要な難解言語だしでどっちもクソ言語
はいこれで仲直り

303:デフォルトの名無しさん
17/10/31 10:43:17.86 gJSMspm+.net
パラダイムシフトを強いる言語は地雷が多いな。
俺はリアクティブプログラミングで懲りた。

304:デフォルトの名無しさん
17/10/31 10:44:19.94 Bl0tBU4z.net
数日がかりというが兎と亀みたいにRust以外の言語は寝てたから
Rustが一番早い

305:デフォルトの名無しさん
17/10/31 11:07:20.83 AszsXbkO.net
その理屈だとCが一番じゃん？

306:デフォルトの名無しさん
17/10/31 11:21:14.97 f3HKFkZK.net
結局当面はC#系(TypeScript/Kotlin)の天下ということでよろしいか

307:デフォルトの名無しさん
17/10/31 11:40:23.38 YHJiaIXY.net
>>294
そういうこと。だからRust版 afterではunwrapはほとんど使用していない。
通常、Optionの中身を取り出すときはunwrap_or, unwrap_or_else, unwrap_or_default
のどれかを使用してNoneだったときはどうするのか指定する。
unwrapを使用するときはアルゴリズム的に中身が存在しないこと自体がありえなくて、
Noneならバグと判断してむしろそのタイミングで落ちてバグを知らせてほしい時のみ使用する。
この仕組みによってNullが存在しない(いわゆるNull安全な)言語を実現している。
多少書くのは面倒だが「10億ドルの損失」に比べればこのくらいカワイイもんだろってこと。
ちなみにC#なんかでも導入が検討されているらしいが、既存コードとの互換性が保てないので難儀しているようだ。
Type scriptみたいにコンパイルオプション付ければいいのにとか俺は思うんだが、なんか理由があるのかな？

308:デフォルトの名無しさん
17/10/31 11:47:33.10 f3HKFkZK.net
コンパイルオプションだと既存コードを一緒にビルドできなくなるだろ
互換性を絶対神とするC#に導入するなら、#pragmaでソースファイルごとにオプトインするか、
asyncみたいに修飾子で特定のスコープだけ解釈を変えるか、
デフォルトをnull非許容にするのは諦めてstring!にするかのいずれかだよ

309:デフォルトの名無しさん
17/10/31 12:45:40.51 JU1cd7E4.net
Goが優れてる点はcode生成に最適化されてる点だと思う。
Goはメソッド定義が同じディレクトリ内なら何処でもできる。
つまりコード生成によってメソッドを追加できる。
ファイルでコード生成の箇所と自作の箇所をわけれる。

310:デフォルトの名無しさん
17/10/31 12:48:35.27 JU1cd7E4.net
>>296
Rxはもっとシンプルな定義にできないのかなーって思う。
「全てはストリーム」という考え方はシンプルなのにいざ使おうとすると
ライブラリは複雑すぎる。
もしかしたら言語まるごとRxの考え方で作ったら簡単になるんかな。
Rubyの作者がStreamって言語をつくってるけど、、、、完成しそうもないし

311:デフォルトの名無しさん
17/10/31 15:40:47.27 ivXWtcCM.net
rust で
if root.is_none() {
return 0;
}
root.as_ref().unwrap().level
を
match root {
Some(node) => node.level,
None => 0
}
と書かないのは何故？所有権とかの問題？

312:デフォルトの名無しさん
17/10/31 16:19:26.73 YHJiaIXY.net
>>304
え？どっちでもいいよ？
リファクタリング後のコードでは使用してないはずだけど。。。
それでもいいし
root.as_ref()
.map(|node| node.level)
.unwrap_or_default()
でもいいし
if let Some(ref node) = *root {
node.level
} else {
0
}
でもいい。どれを使うかは好みの問題。
ただし、>>304のmatch文は正確にはこうなると思う。
match *root {
Some(ref node) => node.level,
None => 0,
}
rootはたぶん型が &T (借用) だから*で参照外しないといけないし、
ref は所有権を「移動」じゃなくて「借用」するために必要。

313:デフォルトの名無しさん
17/10/31 17:24:30.09 YHJiaIXY.net
>>304
>> リファクタリング後のコードでは使用してないはずだけど。。。
誤解を招くかもだな。すまぬ。
if root.is_none() {
return 0;
}
root.as_ref().unwrap().level
のほうはリファクタリング後のコードでは使用してないはずだけど。。。だな

314:デフォルトの名無しさん
17/11/01 08:38:18.68 R9aAc8x6.net
なるほど。ありがとう。

315:デフォルトの名無しさん
17/11/02 00:38:25.36 0kOiRsC5.net
いいってことよ

316:デフォルトの名無しさん
17/11/02 08:54:18.64 N8nuZaLN.net
if not is_none 判定時に実行される、
コンパイラさんにも非noneと分かるコードパスでは
unwrap省略できれば読み書きする際にもPanic起こさないと分かりやすいしシンプルになるな。
実際にも最適化でチェックのコードも吐かれてないだろうし。

317:デフォルトの名無しさん
17/11/02 12:08:13.82 jpQjT5m9.net
>>308
んん？ちょっと待て。良くないぞ
誰だぁ？俺の手柄を取ったヤツは？

318:デフォルトの名無しさん
17/11/02 12:58:12.12 jpQjT5m9.net
>>309
そのやり方は所有権システムの関係で難しいかもしれないな。
非noneが分かっていたとしても中身を取り出す時に所有権を移動する借用するのか決める必要がある。
そして、移動するにせよ借用するにせよ、取り出した時点から所有権システムの制約により
その親にあたるOption型の変数がスコープを抜けるまでは参照不可になる。
移動する場合は、スコープが抜ければOption変数ごと一緒に消費されるはずなので問題ないと思うが、
借用の場合は、スコープを抜けるまでOption変数が参照不可のままじゃ困る場合も多いだろう。
結局は、if let や match 等のスコープを使って借用が終わるタイミングを
コンパイラに知らせるための表現が必要になるんじゃないかと思う。
自分も所有権システムを完全に把握してるわけではないので、間違ってたら指摘してくれ。

319:デフォルトの名無しさん
17/11/02 16:01:49.17 24MXnSEE.net
panic の代わりに未定義動作を行うことで、最適化時にNone時の経路が取り除かれる unchecked_unwrap() とかある。
外部クレートだけど。

320:デフォルトの名無しさん
17/11/02 18:20:00.53 hBgfRlI6.net
FFIと静的型は相性悪いなあ

321:デフォルトの名無しさん
17/11/02 21:04:39.70 aCC/XP/X.net
嫌われているプログラミング言語ランキング - Stack Overflow
URLﾘﾝｸ(news.mynavi.jp)

322:デフォルトの名無しさん
17/11/02 21:06:15.09 aCC/XP/X.net
最も嫌われているプログラミング言語は？--Stack Overflowが調査結果を発表
URLﾘﾝｸ(japan.zdnet.com)

323:デフォルトの名無しさん
17/11/03 01:51:06.45 8/ecCbDm.net
だから何度も言ってるだろ
型なし能なし未来なしの糞言語が
使ってる連中は今すぐ首吊ってなるべく苦しんで無様に血糞尿にまみれて死ねよ

324:デフォルトの名無しさん
17/11/03 01:55:11.36 KPeHygtG.net
>>316
死ぬだけじゃダメだな
来世でも来来世でも苦しみ抜いてもらわないと

325:デフォルトの名無しさん
17/11/03 09:09:40.17 8/ecCbDm.net
>>317
せやな
一族郎党末代まで呪われて地獄の業火で焼かれるべきだ

326:デフォルトの名無しさん
17/11/03 09:10:55.64 FED00RZ3.net
その政策の予算をいくらまでなら払えるか考えよう
予算なしは能なし未来なし

次ページ