プログラミング言語 Rust

1 名前：デフォルトの名無しさん [2012/01/25(水) 20:05:49.96 .net] Mozillaがリリースした、プログラミング言語「Rust」について語るスレです。 www.rust-lang.org/ 411 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 21:06:48.25 ID:ffOxBAui.net] >>406 君が出来なくても賢い人が作ってくれるとからどうでもいいな >>407 原則、静的解決出来ないことがない言語仕様が差別化なのかねぇ これに限らず、ブレを許す気がないコンパイラなのが愉快 412 名前：デフォルトの名無しさん [2015/08/16(日) 21:10:29.90 ID:kniDeEJc.net] >>411 >君が出来なくても賢い人が作ってくれるとからどうでもいいな コンパイラもパーザもそういうもんじゃないんだけど…… まあ、環境の違いかな 413 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 21:16:25.34 ID:+yYCxpZd.net] >>411 『&TとかBox<T>とかって形以外は』の部分はどこ行った 414 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 21:16:51.88 ID:YpDp9c6J.net] >>410 一応、普通のstatic, shared libraryにも変換出来るし、、、 (付与されるランタイムのオーバーヘッドがC++のソレとどの程度違うかは知らん) 415 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 23:08:36.25 ID:jt+RDWuc.net] Ownership と Borrowing はなんとか付いていけたけど Lifetimes は，なにがしたいのかすら解らない...ｼｮﾎﾞﾝ 416 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 23:17:23.38 ID:rxm0/YIk.net] trait objectとそれ以外が陽に異なるから、オーバーヘッドの有無が分かりやすくていい。 C++に無さそうなのって、Phantom型とか？ ADTもパターンマッチをバリバリ使うのに必要な機能。 見た目enumなのがC,C++のenumと混同しちゃうかもしれんが、あれとは安全性のレベルが違う。 417 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 23:39:45.12 ID:t+fZbGif.net] C++にPhantomタイプがない・・・？ それともRustのは別のものを示す語彙なのか？ 418 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 01:03:54.38 ID:wXUvnq59.net] 急に人増えたけどなんかあった？ 419 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 08:15:46.05 ID:EwR31uEA.net] 実は増えてないとか？ 420 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 09:22:50.55 ID:++j4diFB.net] >>413 &TやBox<T>多用するのはイクナイrustプログラムの可能性が微レ存？ 421 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 09:33:55.34 ID:Fu9VunjR.net] RustとSwiftはそっくりなんだから統合しちゃえばいいのにな 422 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 09:50:54.17 ID:S2KJYKrv.net] そっくりか、心が広いな 423 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 10:12:49.16 ID:OjKjgwDq.net] rustもswiftもgoも好きで使ってるけどswiftはgoと統合して欲しい gc以外は感情論を持ち込まなければなんとかなりそう rustは不毛な大地を一人でどうぞ(好意的な意味で 424 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 22:06:52.82 ID:qu3dwpPf.net] >>423 swiftとgoを統合の意味がぜんぜんわからないな。 goにGenericsが入ってほしいという話ならわからなくもないけど。 swiftはCocoaライブラリの互換性に縛られて言語仕様として洗練されてない。 goはシンプルを極めすぎて、Genericsとか入れてくれない予感。 rustはLLVMのフロントエンドってところでマルチプラットフォームな言語として一番期待できるよね。(swiftはCocoaがない環境で息できないでしょ) UE4でC++の代わりにrustを使えないかと妄想してます。 425 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 22:34:16.53 ID:XjHdii/s.net] swiftの文法とgoの機能が合わさり最強に見える rustは言語仕様と標準ライブラリが安定してユーザが定住するならなぁ ユーザ数少ないのにマルチプラットフォームとか誰得だ 特色違えど言ってることがLuaと変わらんので笑える 426 名前：デフォルトの名無しさん mailto:sage [2015/08/17(月) 23:35:52.17 ID:rr3yinc6.net] swiftが底センスなのって互換性が原因かなあ 単純に設計者が(ry 427 名前：デフォルトの名無しさん mailto:sage [2015/08/18(火) 03:11:58.06 ID:1Gz3JsMv.net] 言語設計したAppleを責めるのはヤメロ >>424 UE4って組み込み環境じゃなくゲームランタイムか UE4知らんけどstatic library食えるならrustもいけるんじゃね クロスコンパイラのrustc,cargo作れば良いわけだろ 428 名前：デフォルトの名無しさん mailto:sage [2015/08/18(火) 11:59:33.30 ID:6CH1l8he.net] swiftはアップデートするたびにcppに近づいてるな（悪い意味で） 429 名前：デフォルトの名無しさん mailto:sage [2015/08/20(木) 15:10:15.72 ID:JJlPzozZ.net] replか、rustの機能に合わせたスクリプト言語、あるいはコンパイラにキャッシュが欲しいです。 crateはコンパイル単位としてはでかすぎて開発サイクルが落ちまくるわ。 430 名前：デフォルトの名無しさん mailto:sage [2015/08/20(木) 19:05:12.42 ID:lKgof8/J.net] 富豪プログラマ乙 環境一式が提供されれば便利だけど、ないならないなりに自前で便利な環境作れば良いと思うよ 431 名前：デフォルトの名無しさん mailto:sage [2015/08/20(木) 20:23:20.16 ID:TcFY2I1R.net] >>429 https://github.com/murarth/rusti 432 名前：デフォルトの名無しさん [2015/08/20(木) 20:47:55.40 ID:5WCLlVT0.net] REPL使えるのはありがたいなあ 433 名前：デフォルトの名無しさん mailto:sage [2015/08/21(金) 21:43:41.45 ID:JyBfu5gS.net] >>430 富豪じゃないって話だろ？ 434 名前：デフォルトの名無しさん mailto:sage [2015/08/22(土) 10:13:08.54 ID:EXDgxhBq.net] 言語は富豪じゃなく、プログラマが富豪感覚って話だろ？ 昔、Pythonをログインシェルにする機構があったが Rustをログインシェルにする強者は世の中にいるかね 435 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 10:35:52.76 ID:Gi1OdVG4.net] 自前で便利な環境ってどんなの？cargoのソースを少し弄っては動かして、ってのをやろうとしたことがあるけど、 自分のPCだと再コンパイルに何分もかかって苦痛の極みだった。 printデバッグはcrateがある程度大きいと役に立たない。 rust-gdbを使ったものの、メソッドをどう呼べばいいのか分からなくて難儀した。 最終的に特定した不具合はrust-1.1のstableで配布されていたcargoのバージョンが古すぎて crates.ioのドキュメントにある機能が実装されてなかっただけだったんだけどね。徒労でした。 436 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 10:49:21.79 ID:DVHNG28Q.net] rustを使わなくて良いと判断することが良い環境じゃないかな コンパイラ、デバッガ、ライブラリ管理、IDEをMozillaが綺麗に整備する気ないから 他の流行りの言語に比べて環境は人によってマチマチになるのが必然で問われても最適解はないよ 低レイヤーかつメモリ、リソース管理が楽なrustだけど開発環境は中々に不毛だと思う オールインワンな用意されたモノが良いならswiftが最強、アポーOS内なら文句出ない 437 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 14:11:14.16 ID:2b/ywy3L.net] 静的型付けでIDE使えないとかなんの罰ゲームだ 438 名前：デフォルトの名無しさん [2015/08/23(日) 14:36:11.06 ID:myL1fwDZ.net] インクリメンタルなコンパイルもIDEに情報渡すためのコンパイラ側のサポートも わりと優先度の高い開発目標になってて実際に着手してるから時間の問題 439 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 14:49:20.21 ID:DiK7bPRN.net] 型推論と静的型付けを混在してんのか？ 静的型付けならC言語すらそうなわけだが 百歩譲って静的型付け+型推論としてもC++11が標準IDEなしで頑張っとる emacsでもvimでもsublimeでもAtomでも好きなIDE(エディタ)使えよ 自分で選べず罰ゲームだと思うなら、まだ早い 440 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 15:29:12.91 ID:vCSJ96fF.net] 最強ideとして名高いintellij様がその内rustも対応するだろ（鼻ほじ） 441 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 17:12:50.17 ID:kGlhzngs.net] >>439 誰も型推論の話はしてなくね？ 実際cやらcppでインライン構文チェック、補完できるエディタなんて普通にだろうし 442 名前：デフォルトの名無しさん [2015/08/23(日) 19:11:10.03 ID:myL1fwDZ.net] >>441 とはいえ、Rustのように型推論がある言語だとコンパイラが型推論した 結果をIDEに伝えてくれないとマトモな補完はできないので。 パーザと型検査機・型推論機に特化したツールを用意するか、 コンパイラが型推論の結果を別ファイル化なんかで伝達するかしないといけない 443 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 19:26:43.38 ID:/Chtfvs+.net] >>442 rebuildfmでtypescriptがIDE用にアノテーション情報をコンパイラが提供してると聞いた。 golangは言語としては提供してないけどgocodeってツールがそういう役割してる。 rustは今のところない感じ？ 444 名前：デフォルトの名無しさん mailto:sage [2015/08/23(日) 20:29:46.00 ID:TP37Tp0e.net] racerとかいう補完ツールがあるけど、中身がどうなってるかは知らない 445 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 11:33:37.99 ID:LydH6mPU.net] ctags程度のインデックスファイル作成かな > racer 型推論した上で、その型がどんな名前のメンバ変数/関数が扱えるのかまでは補完してくれなさそう >>441 型推論込みでコード補完してくれるIDEがないと罰ゲームだって話だろ、多分 446 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 14:35:52.72 ID:ILt1JEYe.net] 変数に別名を与える構文とか出来ないかな refだと所有権の貸し借りが発生するせいで気軽に使えないからね 同じ変数に対して複数の名前で同時に読み書き出来る状況になるけど Rustではそういうのもデータレースと見なすのだろうか 447 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 14:44:45.63 ID:h1iic6zY.net] それがメモリ管理のバグを生むから許せねーってのがrustの理念だろうよ 多用するもんじゃないだろうけどArcとか使えば良いんじゃね 448 名前：デフォルトの名無しさん [2015/08/29(土) 15:27:58.89 ID:hP/roqxQ.net] ML系みたいに型の構文を関数定義から分離して欲しい… 少し複雑になると読みにくくてかなわん… 449 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 16:06:46.95 ID:PwA9Vh//.net] ML系統も変数:型だけど、valに相当する構文を入れて、定義の所では省略したいってこと？ val foo : i32 -> i32; fn foo(n) { n * 2 } 個人的には賛成。 多相型に対してimplを書くとimpl<'a, T1, T2, ...>が続いて読みにくくなるのも何とかならんかな。 punningというか、同じ文字を使っているなら省略してもオッケーみたいな。 450 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 16:42:49.79 ID:vqRxT/fZ.net] >>446 他の言語ならあるの？ 451 名前：デフォルトの名無しさん [2015/08/29(土) 17:10:08.52 ID:hP/roqxQ.net] >>449 そうそう。定義内に入ってると読みにくくて読みにくくて… 452 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 17:27:04.02 ID:r87Lb3Gh.net] >>450 Cのポインタで出来るんじゃない？ >>449 タイプ数、ライン数を増やさんで欲しいな 今の仕様に追加なら見て見ぬふりしよう 453 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 17:36:28.28 ID:vqRxT/fZ.net] >>452 それだと本質はrefと変わらなくね？ 454 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 17:51:33.64 ID:sBKhQngs.net] >>450 Cならunion、Pascalならabsoluteがあるよ 455 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 18:24:22.69 ID:u5YtsQ0V.net] 単に長い名前を一時的に短い名前にしたいだけだろ Dのaliasみたいな unionやabsoluteは別の型でオーバレイするので用途が違う 456 名前：デフォルトの名無しさん mailto:sage [2015/08/29(土) 19:18:35.10 ID:x4JINQUQ.net] Cならcpp経由の#defineか rustでもrustcかける前にcppかまそう 457 名前：444 mailto:sage [2015/08/29(土) 21:38:49.53 ID:ILt1JEYe.net] すまん言葉足らずだった >>446は>>455の言うように長い変数名を短くするような使い方を想定していた >>456のやり方みたいにコンパイル前に名前を置き換えるだけでもいけるから データレースは起きないと思ったんだ 他の言語だと所有権のチェックが無いからrefのような参照変数で十分代用できる 458 名前：デフォルトの名無しさん mailto:sage [2015/08/30(日) 07:01:42.91 ID:HJK6L9Ls.net] そういう無駄な他言語仕様の取り込みは要らない 一見変数名が短くなって特定箇所はシンプルに見えるが 全体のコードからすれば簡素にするではなく、複雑にするだろ 459 名前：デフォルトの名無しさん mailto:sage [2015/08/30(日) 07:12:12.11 ID:9R41/ZIA.net] まあまあ 今はいらんかもしれんけど、本格的にいろんな環境で使われだして環境差を吸収しないといけないとなってくると そういう機能も必要になってくるよ 他言語にある機能だって無駄に存在してる訳じゃないからな 460 名前：デフォルトの名無しさん mailto:sage [2015/08/31(月) 11:07:32.54 ID:tdAWRFGn.net] 長い変数名ってjavaのメンバ変数みたいな？ 想定しているコードがよく分からん。aliasと元の変数が同時に出てくるコードの可読性は低くないか？ 自分だったら↓みたいに元の変数からmoveさせて処理した後に元に戻すようにすると思う。 #[derive(Debug)] struct Foo { x: i32, y: i32 } #[derive(Debug)] struct Bar { verylong_named_variable_which_will_be_moved : Foo } fn main() { let mut bar = Bar { verylong_named_variable_which_will_be_moved: Foo { x: 100, y: 200 } }; let mut a = bar.verylong_named_variable_which_will_be_moved; a.x = 10; a.y = 20; bar.verylong_named_variable_which_will_be_moved = a; println!("bar = {:?}", bar); } 461 名前：デフォルトの名無しさん mailto:sage [2015/08/31(月) 13:07:11.54 ID:yj9JwLwE.net] 444の意図とは逸れるかもしれないけど 例えばerrnoなら実際はerrnoだったり_errnoだったり__errorだったり environならenvironだったり__environだったり*(NSGetEnviron())だったりする stdinだったら__stdinpだったり__sF[0]だったり(&__iob_func()[0])だったり…… それがヘッダファイル中で#defineされているから、C言語からはどの環境でも同じ名前で使えるわけだ 今は処理系もひとつで動く環境も限られているから表面化しないかもしれないけど 普及と同時に差も広がっていく中で #[cfg(〜)] 使って全ての環境分書き分けろってなったらやってられんと思う ……というつもりだったのが>>459 462 名前：デフォルトの名無しさん [2015/08/31(月) 13:48:51.45 ID:gJdrS6xb.net] まあ、低レベル言語でどこまでの抽象化を許すかは難しいよな 463 名前：デフォルトの名無しさん mailto:sage [2015/08/31(月) 15:10:03.72 ID:Dkk0mMpb.net] Cでは#define, ifdef使う所を、rustでは#cfg使うのがrustの出した解決策なんじゃなかろうか 464 名前：デフォルトの名無しさん mailto:sage [2015/09/01(火) 13:12:24.79 ID:Qh110XSL.net] #cfg濫用は心配することないと思うけどな。 現在でもwinとlinuxとOSXがサポート対象だけど、環境の違いを陽に扱うコード以外は#cfg使って書き分けるなんてやってない。 Cでは抽象化の手段が少ないからプリプロセッサ使わないとやってられないが、 rustならトレイトとかコンテナ型を使って、ゼロコストで環境の違いを吸収できるのではないだろうか。 465 名前：デフォルトの名無しさん mailto:sage [2015/09/04(金) 19:40:34.17 ID:PM7GVPA4.net] iOSとAndroidと、それらの各種CPUを対応しててくれてありがたいんだが、libcの#cfgがバグってて悲しい rust/src/libcは直ってるようなので、gitのリビジョン参照の更新待ちだい 466 名前：デフォルトの名無しさん mailto:sage [2015/09/18(金) 08:13:22.55 ID:qEC88fFW.net] 1.3来てるぞ 467 名前：デフォルトの名無しさん mailto:sage [2015/09/18(金) 10:09:51.13 ID:qiV5MD3f.net] Release Notes v1.3.0 https://github.com/rust-lang/rust/blob/master/RELEASES.md#version-130-september-2015 468 名前：デフォルトの名無しさん mailto:sage [2015/09/23(水) 23:21:07.14 ID:IGgDNXyV.net] メソッドをオーバーロードするのにトレイト組み合わせなきゃならんのは何で？ オペレータのオーバーロードと方法を合わせるためなんか？ 469 名前：デフォルトの名無しさん mailto:sage [2015/09/24(木) 00:52:09.13 ID:lP9arsTC.net] 型推論が面倒になるからじゃない？ 仮にオーバーロードができたとして、2つのメソッドdo_somethingがそれぞれAsRef<str>と&Stringを引数として渡せるとしたら、 let bar = "abcde".to_string(); foo.do_something(&bar)とやったとき、どっちのdo_somethingを呼ぶべきか分からない。 470 名前：デフォルトの名無しさん mailto:sage [2015/09/25(金) 18:26:11.73 ID:R+TRhKVr.net] try! が使えなくなってるような 471 名前：デフォルトの名無しさん [2015/10/06(火) 23:08:05.18 ID:GvY89Hx4.net] >>470 使えるよ？ 戻り値の型と合ってないとかでは。 472 名前：デフォルトの名無しさん mailto:sage [2015/10/30(金) 08:18:22.20 ID:pCPlChjw.net] 1.4来た 473 名前：デフォルトの名無しさん [2015/10/30(金) 10:46:42.92 ID:IKqzpUXy.net] スタートダッシュはもたついたけど地道に進んでるようだな。 474 名前：デフォルトの名無しさん mailto:sage [2015/10/30(金) 22:03:45.74 ID:wx6dAr+H.net] この言語って将来性ある？ 軽量タスクをあきらめた時点で多くの期待を裏切った感があるけど 475 名前：デフォルトの名無しさん mailto:sage [2015/10/30(金) 23:07:12.55 ID:r01g6EEx.net] 裏切られたのお前だけじゃね？ 476 名前：デフォルトの名無しさん [2015/10/30(金) 23:57:05.43 ID:FTBRryE0.net] ランタイムを持たずに低水準を弄ろうというシステム向け言語で デフォルトでグリーンスレッドをサポートとかそりゃ無理でしょ ま、需要があればライブラリで提供されるだろうさ 477 名前：デフォルトの名無しさん mailto:sage [2015/10/31(土) 00:17:04.93 ID:qwGp3Rk5.net] scala使っとけよ いい言語だぞ 478 名前：デフォルトの名無しさん [2015/10/31(土) 00:44:50.75 ID:L1WutJvq.net] >>477 何故にそこでscala？ scalaやるくらいならocamlやる。 JVM上でってことならいっそのことclojureやるわ。 479 名前：デフォルトの名無しさん mailto:sage [2015/10/31(土) 03:33:05.27 ID:F9rGVxSD.net] 476がなぜそんなにscalaを嫌ってるのか少し気になるw まぁscalaもocamlもclojureもRustからは遠い言語だけど。 480 名前：デフォルトの名無しさん mailto:sage [2015/10/31(土) 04:11:48.61 ID:/cAGFdj7.net] 嫌ってる訳じゃないだろ。他に良い言語があるのに、ってだけで。 481 名前：476 [2015/10/31(土) 06:37:08.04 ID:L1WutJvq.net] うんscalaが嫌いってわけじゃない。 ocamlやclojureがもっと良い言語とも言わん。 単に何故にRustのスレでscalaが出るって思っただけ。 482 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 12:41:15.36 ID:ptDOELGY.net] OCamlがRustから遠い言語だと！letやらOptionやらを見ればOCamlの香りがするだろう！ OCamlの型システムを魔改造して、ガワをC++やJavaにして、ついでにGCも取っ払ったらRustだろうが！ 使えば使うほど「OCamlならもっと楽に書けるなーこの式」とか思っちゃうくらいには近いぞ。 というか何故しなかったのか。 パターンマッチのデリミタを|から,にしたり、ジェネリック型の表記をT ListからList<T>にしたり、 式をML系列(foo x y)からalgol系列(foo(x,y))にした理由が未だに分からない。 括弧の量が増えて困る。 483 名前：デフォルトの名無しさん [2015/11/07(土) 13:31:16.74 ID:dEyvNDQG.net] そりゃ「から〜にした」っていうのが単に480の習得順序なだけだからでしょ。 484 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 13:32:09.75 ID:7OElurpY.net] ML系列流行らないからじゃない？話はずれるがOCamlも一旦キーワード整理しなおした文法2.0作らないとツギハギちょっとひどい。 485 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 16:22:53.29 ID:G421Olyl.net] いっそのこと他人との情報交換はASTレベルで取って、構文解析レベルの表面的な文法は各自で着せ替え可能にしてしまえ 486 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 16:43:13.48 ID:2WRIWoj2.net] OCamlには既に文法2.0も>>485の言う機能も完備されているが、誰も使っていないという事実がある ttp://caml.inria.fr/pub/docs/manual-camlp4/manual007.html 487 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 18:38:30.39 ID:qNyFmib8.net] >>484 > ツギハギちょっとひどい。 たとえばどんなとこが？ > キーワード整理しなおした文法 どこをどういうふうに？ 488 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 22:37:40.80 ID:ptDOELGY.net] OCamlのRevised Syntaxはcamlp4で拡張する用途がメインだし、作った側も推進しているわけじゃない F#のlightweight syntaxとはちょっと違う。 >>483 いや、色々な言語を触ってはきているけど、ML畑が主では無いよ。 感じるのは、関数型言語で便利だった機能を持ってきているけど、 よく考えてC++やJavaの見た目にしているのかが分からない、引っかかってるだけなんだ。 パターンマッチは、どうしてわざわざ","で区切るのか。orパターンで"|"も使うのに。 match expr { | p1 | p2 => doA | p3 => doB } の方が、"|"がORの意味を持つという慣習とも意味が合っていい。 今だと、 match expr { p1 | p2 => doA, p3 => doB } とdoAの後にセミコロンより見えにくい","を打つか、あるいはSQL的に match expr { p1 | p2 => doA , p3 => doB } と書くかしないといけない。 どちらも"|"をデリミタにしたときより見づらいと思う。 489 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 22:50:12.70 ID:Y3AuFW+E.net] 構文見た目とか細かいところなんて慣れだろ。 多言語から来たらそこは我慢しないと 490 名前：デフォルトの名無しさん mailto:sage [2015/11/07(土) 22:53:45.07 ID:DDUHJOjM.net] match expr { | p1 | p2 => doA | p3 => doB } なんかdoAにorが掛かってる様に見えるのと、行頭の｜が気になる 自分がC++使ってるから？ まぁ、C++もRustも仕事で使ってるわけじゃないのでどんな形になっても別に構わない 491 名前：デフォルトの名無しさん mailto:sage [2015/11/08(日) 10:05:07.36 ID:GO2ytGEi.net] >>488 p1をブロックに渡してるのかと思った 492 名前：デフォルトの名無しさん mailto:sage [2015/11/16(月) 20:54:36.21 ID:V5pjynAM.net] 最近やっとstd::borrow::Cowの便利さに気付いたんだけど、 Stringと&strのどちらも受け取ることができて、StringだったらCow::Owned、&strだったらBorrowedに渡すなんて関数作れませんかね？ 今は無難に関数を分けています。 493 名前：デフォルトの名無しさん [2015/11/16(月) 21:26:26.44 ID:86x+5+3M.net] enum で包んで直和型にして渡すとか？ 全然便利じゃなさそうだけど。 494 名前：デフォルトの名無しさん mailto:sage [2015/11/17(火) 00:49:23.01 ID:UWdMMjpw.net] 関数でなくても良いなら、IntoCowみたいなtrait作って、Stringと&strのそれぞれに実装する方法はある 495 名前：デフォルトの名無しさん mailto:sage [2015/11/17(火) 01:01:07.60 ID:zQmfn/gi.net] rust書いたことないんだけど、traitってscalaのtraitと同じようなもん？ 496 名前：490 mailto:sage [2015/11/17(火) 13:46:41.92 ID:S0yggN9e.net] >>493,492 無闇にto_string()でStringに変換しないのが主目的で、もっといいコンテナ型があればと思ったのですが、 まあ別の関数にしておくのはそんなに手間でもないのでこのままで行きたいと思います。ありがとうございました。 >>495 型の定義時にtraitを指定する必要が無いので、型クラスの方が近しいのではないかと。 497 名前：デフォルトの名無しさん mailto:sage [2015/11/21(土) 15:58:21.22 ID:1aaEMzFy.net] rust-encodingが遅いと勝手に思い込み、iconvのバインディングを書いて2倍以上速くなったと喜んでいたものの、 --releaseオプションをつけたらほぼ同じ程度の速度になった。 無駄な労力をかけるより先にやるべきことがあったわ。 498 名前：デフォルトの名無しさん mailto:sage [2015/11/21(土) 20:40:38.49 ID:CwO1C40T.net] 悲しいな ちなみにリリースビルドの性能でも若干遅いのかしら 499 名前：デフォルトの名無しさん mailto:sage [2015/11/21(土) 20:59:57.88 ID:S24jZK/l.net] 性能以前に、rust-encodingとiconvならiconvを使いたいと思うわ、信用が違いすぎるだろ。だから公開はよ ……と書こうとしてぐぐったら、もう幾つもあるなw 500 名前：デフォルトの名無しさん mailto:sage [2015/11/21(土) 22:36:25.09 ID:1aaEMzFy.net] debugでコンパイルすると、encoding, iconvの所要時間はそれぞれ 3.85user 0.15system 0:03.97elapsed 100%CPU (0avgtext+0avgdata 50216maxresident)k 1.65user 0.15system 0:01.78elapsed 101%CPU (0avgtext+0avgdata 50108maxresident)k で、releaseでコンパイルすると、 0.33user 0.14system 0:00.45elapsed 106%CPU (0avgtext+0avgdata 50272maxresident)k 0.30user 0.14system 0:00.42elapsed 105%CPU (0avgtext+0avgdata 48132maxresident)k ってなった。stableなんで#[bench]は使えないので/usr/bin/timeを使った。 iconvがwindowsで使えるかが分からないし、誤差レベルなんでencodingをお勧めする。 ちなみにhttps://github.com/andelf/rust-iconvで公開されてるやつは古いのでコンパイルを通すのに修正が必要で、 https://github.com/ogham/rust-locale内にもIconvがあるけど、自分が触った限りだとうまく動いてくれなかったんで作った。 rust-posixのは本当に単なるラッパーなんで使い勝手は悪いかもしれん。 https://github.com/y-stm/rust-iconv rust-encodingはrustネイティブだから、windowsにもちゃんと対応しているはずなんで、そっちの方がいいと思うよ。 501 名前：デフォルトの名無しさん mailto:sage [2015/11/22(日) 11:23:58.32 ID:NWCv//56.net] 細かい情報thx これは確かに誤差だから素直にrust-encodingで良いね 最近、枯れたと思われてるライブラリのバグ発掘が盛んだから リメイクしたライブラリで性能同等ならそっちでいいな 502 名前：デフォルトの名無しさん mailto:sage [2015/12/06(日) 21:28:29.71 ID:X3qMkrgd.net] 構造体のmutable referenceからはフィールド変数をmoveできないのがどうにかならんのかと思って調べてみた。 mem::replaceが解決案らしい。 struct Foo { inner: Bar } struct Bar(i32); fn main() { let mut foo = Foo { inner: Bar(0) }; { let ref_foo = &mut foo; let inner = ref_foo.inner; } } とかやるとcannot move out of `foo.inner` because it is borrowedと怒られる。 例えば、Iteratorの値を1つ保持するフィールドを用意して、要素を戻すような操作ができるstructを定義しようとすると、 この問題にぶち当たる。 503 名前：デフォルトの名無しさん mailto:sage [2015/12/11(金) 18:36:59.97 ID:8KiFs03m.net] v1.5 is coming. https://github.com/rust-lang/rust/blob/master/RELEASES.md バージョンアップ早いなあ。 504 名前：デフォルトの名無しさん mailto:sage [2015/12/11(金) 21:23:50.15 ID:iuSy02/G.net] このまえ1.3入れたばっかなのに俺ｗ 505 名前：デフォルトの名無しさん mailto:sage [2015/12/11(金) 22:48:09.38 ID:nmaVejT0.net] ここ最近、2ヶ月でアップデートしてるのか 何かブーストする背景があったのかね 506 名前：デフォルトの名無しさん mailto:sage [2015/12/12(土) 01:15:24.78 ID:li1FzsOW.net] MSVC ABI普通に使えないやんけ… 507 名前：デフォルトの名無しさん mailto:sage [2015/12/12(土) 01:47:25.84 ID:8e55vxAw.net] 1.0リリースする前から6週間ごとにリリースするモデルにすると宣言してたぞ 508 名前：デフォルトの名無しさん mailto:sage [2015/12/12(土) 14:03:48.98 ID:RsNWaaLF.net] マイクロバージョンアップの bug fix リリースじゃないのな その内、wineみたいに1.100とか来そうだw 509 名前：デフォルトの名無しさん mailto:sage [2015/12/15(火) 04:08:28.28 ID:QsQbNVbs.net] ある、イテレータをメンバーに持ってる構造体のmutable参照を受け取って、 イテレータを回して何か処理して、結果をその構造体の別のメンバーに保持させたいんだけど、for使うと怒られる。 と思ってたが、別の変数にイテレータメンバーへのmutable参照をバインドさせれば動くことが分かった。 loopとif let使ってなんとかしてたが、綺麗に書けることが分かった。 ttps://play.rust-lang.org/?gist=12ad0e190d1b7ffdae21&version=stable 510 名前：デフォルトの名無しさん mailto:sage [2016/01/15(金) 23:06:47.72 ID:27wkGJB0.net] rusr入門の書籍の出発前予定ってありますか❔❓ 新しい概念あるので日本語で勉強にしたいです。 511 名前：デフォルトの名無しさん mailto:sage [2016/01/16(土) 17:51:41.42 ID:yIqkNKKT.net] 残念ながら日本語の本が出るなんて話は聞いたことがない。 1.0になるまでに文法やらセマンティクスやらが変わったんで、それ以前のブログ記事やSOの質問には注意が必要。 Qiitaで公式bookの日本語訳を書いてた人もいたはずだけど、分からないところがあったら英語のリソース漁る方が早いと思う。 Rustの前にどんな言語を触っていたかは人それぞれなんで、新しく学ばないといけない概念も人それぞれ。 C++を触っていた人なら、明確なmove/copyの区別はすぐ分かるだろうし、borrow checkerの働きも理由を察することができるはず。 Rubyistだったら、Rust for Rubyistという記事がある。英語だけど。 ML系列の人だったら、RustのパターンマッチやADTは当たり前に分かるだろうし、Traitも型クラスみたいなものなので簡単。 Rustならではの新概念、といえばborrow checker(ownership, borrowing, lifetime)くらい。 borrow checkerは自作の型に参照型のメンバーががあるときは地獄のようだが、それ以外で怒られるときは分かりやすいエラーを出してくれる。 これさえ読めばすぐ分かる、完璧！という記事/本は英語圏でも無いんじゃないか。あったら教えてほしいくらい。

---

---

[ 続きを読む ] / [ 携帯版 ]

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