プログラミング言語 Rust

1 名前：デフォルトの名無しさん [2012/01/25(水) 20:05:49.96 .net] Mozillaがリリースした、プログラミング言語「Rust」について語るスレです。 www.rust-lang.org/ 613 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 22:34:37.32 ID:VrD9Va1p.net] goくらい学習コストが低くなってくれればなぁ。 優秀な学習サイトの登場がまたれる 614 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 01:07:08.17 ID:s3SZ5Nw7.net] >>613 英語サイトなら、Rust By Exampleが有名かと 615 名前：デフォルトの名無しさん [2016/05/02(月) 02:01:04.83 ID:l0p8tzKw.net] 所有権と参照のlifetimeという概念がある限り学習コストは低くならないと思う 型システムも代数的データ型と型クラスというmlライクなものだし それを取っ払ったらRustじゃないから難しいところ 616 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 09:48:33.22 ID:kvSwD3Xt.net] 一通りRustの本読んで、何か適当な物を作ってみて、けど未だにコンパイラにmay not live long enoughとか怒られるコードを書いてます。 このエラーを解決するのにunsafeを使うべきか、設計を変えるべきか、判断に悩むこと多数。 617 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 10:27:45.33 ID:LI15fDaU.net] unsafeでどう解決するんだ 618 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 10:41:04.80 ID:J8a4Z9kC.net] unsafeは分かってる人だけが使うべき cloneとかmem::swapとか使ってみたら 619 名前：デフォルトの名無しさん [2016/05/02(月) 11:03:12.78 ID:JUQEx8eE.net] unsafeはポインタの参照外しとunsafe関数を呼べるだけだからコンパイル通らないものがコンパイル通ったりするわけじゃないぞ 620 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 13:22:45.55 ID:bzpdhBbq.net] unsafeでコンパイルは通るけど、不正アクセスで落ちうるプログラムじゃないの？ 一応、コンパイルは通るようになりそうだけど安全じゃなさそう 折角コンパイラが指摘してくれてるんだから設計を直すべきだろうよ 621 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 13:48:16.52 ID:kvSwD3Xt.net] 通せるんだよなあ。https://play.rust-lang.org/?gist=ea6fa9205bdc09ecbc1d730cddd5ae9a&version=nightly&backtrace=0 Vecとかコンテナみたいな型を作るときはRaw Pointerじゃないと使い勝手が悪くなることがしばしばあって、 自分の作った型はどうだろうか、unsafe使った方が綺麗に書けるんじゃないかとmay not live long enoughエラーに出くわしたときに考えちゃう。 622 名前：デフォルトの名無しさん [2016/05/02(月) 14:00:04.69 ID:xGYQ4Typ.net] unsafe関数呼んどるやん？ 623 名前：デフォルトの名無しさん [2016/05/02(月) 14:05:04.32 ID:xGYQ4Typ.net] なるべくならRustが提供しているポインタ型を使って解決したほうがいいかと 624 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 16:06:39.61 ID:kvSwD3Xt.net] >>622 すまん、>>621はコンパイル通らないものもunsafe使えば通るぞ、という>>617や>>619へのレスだ。 625 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 17:37:54.86 ID:J8a4Z9kC.net] unsafeすればborrow checker先生も黙ってくれるからな borrow checkerが何をしてるか理解してる人だけがunsafe使うべきだとは思うけど 626 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 18:33:23.74 ID:51E+NX7H.net] unsafe 使うくらいなら c/c++ 使った方がいいと思うの。 627 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 19:05:17.35 ID:tVjMjJs/.net] ああ、そりゃデータ型書くときはunsafe使わないとな Borrow checkerを黙らせる為に使うのは間違いで、メモリを手動管理するために使うものだ >>626 unsafe部分だけちゃんとテストしておけば それをビルディングブロックに安全なプログラムを書ける 628 名前：デフォルトの名無しさん mailto:sage [2016/05/02(月) 20:08:28.03 ID:bzpdhBbq.net] Cの関数と連携する場合はunsafeは使わないとにっちもさっちもいかん時がある 流石にプリミティブ型だけじゃゼロコスト(笑)なデータ取り扱いになるぜよ それ以外のPure Rustで使わないと組めないケースあるっけ？ 629 名前：デフォルトの名無しさん mailto:sage [2016/05/03(火) 01:16:03.38 ID:/NLSYk13.net] swap 630 名前：デフォルトの名無しさん [2016/05/03(火) 18:25:56.19 ID:IH0qUzZ3.net] rustupとmultirust、どっち使えばいいですか？ 631 名前：デフォルトの名無しさん mailto:sage [2016/05/03(火) 20:59:04.01 ID:ZIxVRgvx.net] multirustの後継がrustupだし今から使うならrustupで良いと思う 機能面でもクロスコンパイル対応とかあって優位だし 632 名前：デフォルトの名無しさん mailto:sage [2016/05/03(火) 21:24:11.15 ID:S8jXYqZo.net] 後継っつーか、公式が改めてrustup作ったのか multirust使ってたけど乗り換えるか、、、 633 名前：628 [2016/05/03(火) 23:23:53.50 ID:IH0qUzZ3.net] >>631, 630 ありがとうございます！rustup使います！ 634 名前：デフォルトの名無しさん [2016/05/03(火) 23:46:51.91 ID:IH0qUzZ3.net] https://github.com/rust-lang-nursery/rustup.rs これって何者ですか？ 公式のrustupとは違うみたいですが… 635 名前：デフォルトの名無しさん mailto:sage [2016/05/04(水) 03:05:09.99 ID:4aQWfg60.net] cargo install ドメインの名前解決に失敗して死ぬな 636 名前：デフォルトの名無しさん mailto:sage [2016/05/04(水) 08:29:40.07 ID:FvummhsT.net] >>634 公式のrustupの後継 シェルスクリプトをRustで書き直したもの 637 名前：632 [2016/05/04(水) 20:45:56.67 ID:bY+rnU0s.net] >>636 そうなんですね！ありがとうございます！ 638 名前：デフォルトの名無しさん mailto:sage [2016/05/08(日) 17:53:19.98 ID:NKVAXp+L.net] カニ本だそうで。 shop.oreilly.com/product/0636920040385.do 639 名前：デフォルトの名無しさん mailto:sage [2016/05/09(月) 17:24:59.65 ID:fW/7hyIs.net] rubyベストプラクティスもカニじゃなかった？ 640 名前：デフォルトの名無しさん [2016/05/15(日) 19:58:09.87 ID:K33PvDY8.net] 今年中に2.0出るのかな？ 641 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 00:59:11.32 ID:hYcI5Sh2.net] Rust、SemVerに準拠してるし、後方互換性をがっつり崩すような変更がない限り、1.x.yのままなんじゃない？ 642 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 02:54:51.79 ID:TWeJeTmL.net] 今日で1周年か 643 名前：デフォルトの名無しさん [2016/05/16(月) 13:25:33.90 ID:khc6QXJf.net] Rustってオーバーロードないの？ 644 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 13:40:14.34 ID:3yHJ0Kd5.net] どういうオーバーロードかによる 例えば fn push<P: AsRef<Path>>(&mut self, path: P) impl AsRef<Path> for Path impl AsRef<Path> for OsStr impl<'a> AsRef<Path> for Cow<'a, OsStr> impl AsRef<Path> for OsString impl AsRef<Path> for str impl AsRef<Path> for String impl AsRef<Path> for PathBuf 645 名前：641 [2016/05/16(月) 14:29:24.99 ID:khc6QXJf.net] fn push(a: u8) fn push(a: u8, u32) みたいにやりたかったです 646 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 14:45:17.97 ID:4v1q9uFB.net] 関数に関しては無い。型推論が面倒になるからだと思う。 メソッドに関してはある。traitとstruct(とenum)のimplで同名のメソッドを定義したらstruct優先。 2つ以上の異なるtraitが同名のメソッドを定義してて、2つともimplした型の場合はUFCで書かないとエラーになる。 647 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 15:21:22.82 ID:LQrSqnuf.net] >>643 オペレータのオーバーロードならある。 use std::ops::Add; struct A {} impl Add<i32> for A { type Output = i32; fn add(self, rhs: i32) -> i32 {rhs} } impl Add<f32> for A { type Output = f32; fn add(self, rhs: f32) -> f32 {rhs} } 648 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 07:21:57.85 ID:zi3YbWFS.net] 面倒だけどタプルに対してやってみるのは？ trait Push { fn push(&mut self); } impl Push for (u8,) { fn push(&mut self) { ... } } impl Push for (u8, u32) { fn push(&mut self) { ... } } fn main() { (0u8,).push(); (1u8, 2u32).push(); } 649 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 12:53:24.93 ID:83U9cWax.net] >>648 変態！ 650 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 15:50:42.49 ID:4NyJw2NY.net] trait Push { fn push(self, c: Container) } impl Push for u8 impl Push for (u8, u8) container.push(1) container.push((1, 2)) 651 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 16:36:29.40 ID:g+vOVBq1.net] >>648 それオーバーロードでもなんでもなくね？ 652 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 20:51:59.07 ID:pvzqVuHQ.net] >>651 でも同じもの表現してない？ 653 名前：デフォルトの名無しさん mailto:sage [2016/05/19(木) 01:39:05.88 ID:yE0vr9/W.net] 何かこのイカれたブログを思い出した。zero-overheadでheterogeneousなリストを作る話。 nercury.github.io/rust/interesting/2015/12/12/typed-arrays.html 654 名前：デフォルトの名無しさん [2016/05/30(月) 22:31:42.67 ID:FMy0/Tvb.net] 2番め以降の変数の型が違うオーバーロード書けないのね… 655 名前：デフォルトの名無しさん [2016/06/01(水) 22:24:24.45 ID:JHsrsE//.net] オーバーロードが追加されることって絶対ないのかな？ めちゃくちゃRust使いたいんだけどこれがないせいで使えない。 656 名前：デフォルトの名無しさん [2016/06/01(水) 22:49:23.73 ID:JHsrsE//.net] trait Sql { fn filter<T>(&self, value: T); } impl Sql for i32 { fn filter(&self, value: i32) { } } impl Sql for String { fn filter(&self, value: String) { } } みたいなことやりたいのですがエラーになってしまいます。 どうにかできないものでしょうか。 657 名前：デフォルトの名無しさん mailto:sage [2016/06/01(水) 23:39:18.93 ID:OaTzWyfO.net] >>656 引数の数が違ったら面倒だけど、この程度だったらtraitを多相にすればいいよ https://play.rust-lang.org/?gist=63404b280103d3da07c6d08910acda25&version=stable&backtrace=0 多相と同じ表現力のassociated typeでもいける。 https://play.rust-lang.org/?gist=fce8146e69f7cdd16b582a4c4ce37673&version=stable&backtrace=0 658 名前：654 [2016/06/02(木) 10:39:12.76 ID:LfrYVCEY.net] >>657 ありがとうございます！ これでいけるか試してみます！ 659 名前：デフォルトの名無しさん mailto:sage [2016/06/13(月) 20:34:44.12 ID:9cIQ9Ton.net] rustのsubredditにゲームの方のRustの投稿がちょくちょく来てたがホッケー選手まで出てくるとは思わなんだ。

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef