プログラミング言語 Rust

1 名前：デフォルトの名無しさん [2012/01/25(水) 20:05:49.96 .net] Mozillaがリリースした、プログラミング言語「Rust」について語るスレです。 www.rust-lang.org/ 592 名前：デフォルトの名無しさん mailto:sage [2016/04/29(金) 06:58:13.04 ID:KOzpN5av.net] >>590 並列性は安全ではあるが性能を考慮してるようには見えないがなぁ goが並列性を強化してるは理解出来るが、rustは並列でも安全だけど性能は従来同等かそれ以下？ ゼロコストを気にする性能を求めるならマルチスレッドプログラミングは他レイヤーに任せた方が良さそう 593 名前：デフォルトの名無しさん [2016/04/29(金) 13:41:09.09 ID:7UhRF0XY.net] MacでCargoを使ってLinux用のバイナリを作成したいのですが、どうやればできますか？ 594 名前：デフォルトの名無しさん mailto:sage [2016/04/29(金) 15:01:33.90 ID:JX6DmXiZ.net] >>593 Linuxバイナリ(elfフォーマット？)を吐くクロスコンパイルのためのgccを用意し、 rustcのコマンドラインオプションでリンカとしてgcc渡せばいけるらしい 適当にググって見つかった記事 解説記事(英語) https://github.com/japaric/rust-cross/blob/master/README.md#cross-compiling-with-rustc 日本語記事 qiita.com/yasuyuky/items/7849931d4924864e40b3 ARMバイナリの説明っぽいけど、上の記事から同様にできそう 595 名前：デフォルトの名無しさん mailto:sage [2016/04/29(金) 20:53:52.02 ID:NuB51tNS.net] >>592 他のレイヤーって、どんな選択肢があるの？ goとrustの目標は同じようなものじゃないかな、と思う。 現状の結果も似たようなもんに見えるし。 いや、厳密に比較した訳じゃないけどね… 596 名前：デフォルトの名無しさん mailto:sage [2016/04/29(金) 21:40:02.52 ID:6d5pj9gK.net] rustはGCもないしgoよりもっと機械より リアルタイム性が必要なところではrustに分がありそう 597 名前：591 [2016/04/29(金) 21:57:03.71 ID:7UhRF0XY.net] >>594 ありがとうございます！試してみます！ 598 名前：デフォルトの名無しさん mailto:sage [2016/04/30(土) 06:49:30.08 ID:RNVquJmq.net] >>592 まあ、注意して書けばC++と同等のパフォーマンスが出る、というのが実際のところでしょう Rust特有のオーバーヘッドとかは無いですし 599 名前：デフォルトの名無しさん mailto:sage [2016/04/30(土) 08:27:27.63 ID:NXU0px5d.net] >>597 rustup使うとクロスコンパイル用のターゲット追加も簡単にできるらしい 600 名前：デフォルトの名無しさん [2016/04/30(土) 14:34:10.03 ID:Q97tfhpp.net] >>591 まだ若い言語だし、学習コストも高目だからかねー。 601 名前：595 [2016/04/30(土) 14:48:55.99 ID:hZlPwcrG.net] >>599 rustup試してみましたが以下のエラーが出てビルドできませんでした。 $ cargo build --target x86_64-unknown-linux-gnu Compiling philosopher v0.1.0 (file:///Users/hoge/rust/philosopher) error: linking with `cc` failed: exit code: 1 note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L"...（長すぎて書き込めないので省略） note: clang: warning: argument unused during compilation: '-pie' ld: unknown option: --as-needed clang: error: linker command failed with exit code 1 (use -v to see invocation) error: aborting due to previous error 602 名前：デフォルトの名無しさん mailto:sage [2016/04/30(土) 20:19:13.61 ID:nmBsk/Cs.net] >>601 unknown optionで落ちてるから、clangのバージョンの問題じゃない？ なんとなく 603 名前：599 [2016/04/30(土) 23:06:42.19 ID:QU2PhAJ9.net] >>602 一応新しいバージョンを使っているはずなのですが… $ clang --version Apple LLVM version 7.3.0 (clang-703.0.29) ちなみにbrewでgccをインストールしてcargoのリンカをそれに設定してもダメでした… 604 名前：デフォルトの名無しさん [2016/05/01(日) 00:09:25.06 ID:C8GC+yTl.net] JavaですらC++の二十倍速いのに同等ってことは無いだろう。 605 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 14:02:22.00 ID:vpP9ivFq.net] VMとネイティブだよ？ C++のライブラリのどっかの出来が悪くて遅いみたいな話かな 「Java 20倍 C++」とかで検索するとJavaがCの10〜20倍遅いって記述しか見当たらん 606 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 14:07:31.13 ID:g2gZsLck.net] 多くのJava VMはC++で出来てるんだからC++より速くはならんだろ と思ったが、スレッドプールを事前に用意&スレッドオブジェクト解放をGCに任せて遅延させるなどで、それらを計測時間に含めないなら速く見えるか その辺加味してもrustはどうだろうね ライフサイクルに合わせてスレッドオブジェクト生成、解放してるなら高々同等になりそうなものだが 607 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 14:17:07.11 ID:vpP9ivFq.net] LLVMでネイティブコンパイルされるんだから、言語よりライブラリの問題だな それこそRustは低レベルプログラミングが出来る訳だし 608 名前：デフォルトの名無しさん [2016/05/01(日) 17:13:53.64 ID:tKi6j9CT.net] 匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、 BitTorrentがオープンソースで開発されています 言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？ Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします https://twitter.com/Lyrise_al ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ The Covenant Project 概要 Covenantは、純粋P2Pのファイル共有ソフトです 目的 インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します 特徴 Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW) 接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です DHTにはKademlia + コネクションプールを使用します UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります) 検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません １ｐ 609 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 19:42:13.84 ID:vpP9ivFq.net] その人を困らせようと思っているのでない限り、>>608の行動は間違っている 610 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 19:53:36.50 ID:5f/j1Sd0.net] まあ悪意でやってるんだろう。 611 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 20:15:56.60 ID:jOtWeASF.net] D言語スレにもあったぞこれ 612 名前：デフォルトの名無しさん mailto:sage [2016/05/01(日) 21:08:10.75 ID:az/VnHmm.net] Rustはこれからまだ速くなるってブログで言ってたな 正直構文は好きになれないけどそういうのと流行る言語とは別問題だからね Rustは流行りそうな言語だと思う 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