プログラミング言語 Rust

1 名前：デフォルトの名無しさん [2012/01/25(水) 20:05:49.96 .net] Mozillaがリリースした、プログラミング言語「Rust」について語るスレです。 www.rust-lang.org/ 285 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 15:22:04.80 ID:I8sSWQip.net] >>283 普通は const immutable = 0; または let immut immutable = 0; let mutable = 0; だろ なぜ良く使う変数の方がタイプ数が多いんだよ… 286 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 15:44:06.55 ID:N0SAwEsK.net] >>285 mutableな変数の出番が多いのはあなたの書き方の癖であって、他の全員に当てはまるわけでは無いと思う。 特にRustはifやmatch等が値を返すからmutableと相性が良いと思うけど。 287 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 15:45:07.29 ID:N0SAwEsK.net] >>286 修正: immutableと相性が良い 288 名前：デフォルトの名無しさん [2015/05/18(月) 16:26:46.46 ID:J+DllwNy.net] >>285 >なぜ良く使う変数の方がタイプ数が多いんだよ… immutableな変数の方をよく使わないのだとしたら、 そもそもRustでのプログラミングには向いてないな。 基本的には破壊的更新をしない関数型スタイルで書かせて、 それをコンパイラが巧く処理してゼロコストにする、 というのがRustの設計思想なんで。 いい機会だから、変数の再代入を一切使わずにコード書いてみるといい。 289 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 17:11:40.54 ID:hULj5jYE.net] つまりC++でconst書きまくるのに疲れてる俺向きということですな! 290 名前：デフォルトの名無しさん mailto:sage [2015/05/18(月) 22:19:14.44 ID:eEjXu/P7.net] 関数型言語を触ってみるとリフレッシュできるよ。OCamlが緩くてお勧め。 RustはセルフコンパイルできるまでOCamlで開発されてた位にはメジャーで実用的。 パターンマッチや型推論、その他色々なRustの機能は関数型言語由来のものがあるから触ってみて損は無い。 「低レベルな領域に関数型言語の便利なエッセンスを(ゼロコストで)どれだけ入れられるか、入れたらどれだけ楽になるか」 みたいな発送がRustから感じられる。 もっとMLライクな文法でも良かったと思うけどね。 291 名前：デフォルトの名無しさん [2015/05/18(月) 23:34:48.44 ID:J+DllwNy.net] >>290 >もっとMLライクな文法でも良かったと思うけどね。 せめて型宣言はムリにC系のものにして関数定義の頭に押し込めずに 別立てにしたほうが良かったと思うんだよなあ。 とはいえ、確かにML系つうかOCamlの匂いは強くするよね。 292 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 15:09:00.81 ID:UYmTOlX3.net] >>285 まあそのまま仕様を受け取って、immutな方を自然に使って欲しいんだろう。 命令型言語に関数型の風味を取り込んでみたってことで。 ocamlの方は逆な風味だが命令型取り込んだ無理やり感がする。 rustも一実験言語で終わるのか、伸びるのか 293 名前：デフォルトの名無しさん mailto:sage [2015/05/19(火) 21:19:02.97 ID:AGcxeKzS.net] 前はマニアのための実験的言語って書いてあったのに今では1.0だなんて感動する 294 名前：デフォルトの名無しさん [2015/05/21(木) 00:03:14.73 ID:R841WaTJ.net] 今更セミコロンがある謎言語 295 名前：デフォルトの名無しさん mailto:sage [2015/05/21(木) 02:10:17.69 ID:gi6AaWSD.net] val foo : i32 -> i32とかできると便利よな。前方宣言は一応できるけどCスタイルだから冗長だし、 定義時に同じこと書かないといけないから面倒。 まあ、ML寄りの文法で変数の宣言とか並べるのも汚いかもしれんし、 関数型に近寄るとその分デバッグが難しくなる。誰かがML系rustを作ったら今の文法の良さが見えてくるかもね。 296 名前：デフォルトの名無しさん mailto:sage [2015/05/21(木) 11:04:47.93 ID:HQdruXcL.net] 正式版でたんで久々に入れてみたら 単純計算ものでも2倍くらい速くなってるな node.jsと同じくらいにはなった 297 名前：デフォルトの名無しさん mailto:sage [2015/05/29(金) 01:21:31.51 ID:CYHwmvYd.net] The evolution of Rust lambda-the-ultimate.org/node/5169 298 名前：デフォルトの名無しさん mailto:sage [2015/05/30(土) 07:05:58.43 ID:AYzItcLB.net] >>296 単純計算だけならC++と同じぐらいだろ 所詮LLVMのフロントエンドなんだし 299 名前：デフォルトの名無しさん mailto:sage [2015/05/30(土) 10:56:09.40 ID:qPmgq1NQ.net] 言語はけっこう好みだけど仕事はC++だし 趣味用にはもうひと押し欲しい気がする 300 名前：デフォルトの名無しさん mailto:sage [2015/05/31(日) 07:07:23.95 ID:QzJY7rQQ.net] Rust って let (a,b) = (1,2); は出来ても、 　let a = 1, b = 2; は出来ないのか。 何故？　別に何かの文法と衝突でもするのか？ 301 名前：デフォルトの名無しさん mailto:sage [2015/05/31(日) 09:03:35.54 ID:chRy4RzH.net] >>300 let mut a =1, b=2; としたときにbがmutableになるのかならないのか曖昧に見えるから、という理由だった記憶がある とにかく、なにかしら理由があったはずだよ 302 名前：デフォルトの名無しさん mailto:sage [2015/05/31(日) 09:58:57.84 ID:QzJY7rQQ.net] なるほど。でも、なら let mut を var にして欲しいな。 mutable 変数は var で宣言する方が好みだ。 でググったら当然過去に let mut <-> var 議論あった。 ざっと読んだら、Rust の精神には immutable が根本にあって、 mut は気安く使うんじゃねーよ、的な障壁としての let mut みたいだ。 確かに var だと気安く使っちゃうからね。ってこれスレのすぐ上で話題になってた話だな…… 303 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 07:46:19.89 ID:JhAQPJZl.net] mutable参照を共有できないって厳しすぎないか？ 警告ならわかるがエラーは勘弁してほしい 304 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 09:39:17.92 ID:tuFYxFU/.net] Rc<RefCell<T>>やArc<Mutex<T>>をどうぞ 305 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 18:40:49.25 ID:JhAQPJZl.net] >>304 なるほどRefCellを使えばある程度は解決しそう ちょっと強引かもしれないけどこんな使い方も出来た // これはエラー（配列やスライスは同時に1つの要素しかmutable参照が作れない） let mut array = [ 0, 1 ]; std::mem::swap(&mut array[0], &mut array[1]); // これならOK let array = [ std::cell::RefCell::new(0), std::cell::RefCell::new(1) ]; std::mem::swap(&mut *array[0].borrow_mut(), &mut *array[1].borrow_mut()); 306 名前：デフォルトの名無しさん mailto:sage [2015/06/11(木) 19:42:13.90 ID:rjZb8+Jq.net] 記述めんどいやろmut使うなという強烈なメッセージを感じるｗ 307 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 11:23:17.39 ID:/rtQk4xD.net] >>305 試してないけど let array = Rc::new(RefCell::new([0, 1])); じゃだめかな？こっちのほうがまだましかなと思うんだけど 308 名前：デフォルトの名無しさん mailto:sage [2015/06/13(土) 22:39:23.60 ID:kJh3Un39.net] >>307 RefCellを使えば所有権を動的に貸し借りできるようになるってだけで mutable参照は同時に1つまでというルールは変わってない（2つめを取得しようとしたらpanic） >>305は配列の要素の所有権を取ると配列全体の所有権まで取ってしまうのが 要素毎にRefCellを使えば要素毎に所有権を取れるという話 それとRcは寿命を動的管理するためのものであって所有権とは無関係 ちなみにstd::mem::swapは引数が&mutだけどstd::ptr::swapなら*mutだから所有権を取らない 結局unsafe使うのがベスト let mut array = [0, 1]; unsafe { std::ptr::swap(&mut array[0], &mut array[1]); } 309 名前：デフォルトの名無しさん mailto:sage [2015/06/19(金) 11:24:27.05 ID:7YWFihrY.net] WebAssembly対応すればブラウザゲーをRustで作れるようになるんかな 310 名前：デフォルトの名無しさん mailto:sage [2015/06/26(金) 05:16:57.34 ID:MTQE4YuR.net] borrow checkerや型チェックで弾かれるのはまだいいんだけど、unsized typeで怒られるのが面倒。 AsRefとかDeRefとか、traitを多用し過ぎじゃないのか。traitに関する構文(多相型関数の定義とか)も冗長に思ってしまう。 311 名前：デフォルトの名無しさん mailto:sage [2015/06/26(金) 22:05:32.88 ID:4tQavpY6.net] 久しぶりに見たら1.1になってた https://github.com/rust-lang/rust/blob/master/RELEASES.md#version-110-june-2015 312 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 01:28:47.33 ID:F+n2jvy1.net] rebuld.fm聞いて、rust触ってみたくて来ました。 今から手を出す場合、どこを見るところから始めればいいです？ 313 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 02:07:48.13 ID:fUkToYrK.net] >>312 Rust by Exampleとか？ rustbyexample.com 314 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 05:34:06.57 ID:F+n2jvy1.net] >>313 おお、良さ気です。ありがとうございす。 https://www.youtube.com/watch?v=i17doLVXlYU をみてたら、すごく、関数型言語ぽくていいっすね〜 俄然やる気でます。 315 名前：デフォルトの名無しさん [2015/06/27(土) 10:51:13.60 ID:nreZwDj/.net] 実際に書いてみると全然関数型言語っぽくないのだよなあ。 あと、なんかイディオマティクな標準的コーディングスタイルが 確立されないと辛いと思う。 316 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 15:58:00.61 ID:rIdxbF5x.net] C++テンプレート以来のコンパイラに怒られまくる言語だ 317 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 16:26:20.28 ID:wfeMnVHy.net] https://github.com/rust-lang/rust/issues/25899 これがなぜだか分からん。 fn main() { 　let a: &mut i32 = &mut 0; 　{ let b = a; } 　let c = a; } 上が駄目で、下がおｋな理由。 fn main() { 　let a: &mut i32 = &mut 0; 　{ let b: &mut i32 = a; } 　let c = a; } 318 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 17:22:32.78 ID:99+F8Q1T.net] >>317 下の例はこれと同じになるらしい fn main() { 　let a: &mut i32 = &mut 0; 　{ let b = &mut *a; } 　let c = a; } Rustには型推論と暗黙の変換があるせいで分かりづらいね 319 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 17:34:52.26 ID:wfeMnVHy.net] 上では move されるのに、下では borrow されるのか。 #![feature(core_intrinsics)] fn print_type_of<T>(_: &T) -> () { let type_name = unsafe { std::intrinsics::type_name::<T>() }; println!("{}", type_name); } これを入れて型を表示すると、上でも下でも b の型は同じ &'static mut i32 なのに、型注釈するだけで挙動が変わるのは違和感あるなあ。 320 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 17:35:27.20 ID:wfeMnVHy.net] >>318 ありがとう。うーむ悩ましい。 321 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 18:38:39.26 ID:SbfB1Jvt.net] >>310 unsized typeで起こられるのってどんな場合？ 322 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 18:40:12.36 ID:SbfB1Jvt.net] >>320 既出じゃなさそうならissue立ててみたら？ 323 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 20:45:16.24 ID:j6fAeiVj.net] >>321 いや、超基本的なミスなんだけど、 fn foo(it: Iterator<Item=i32>) { ... } とかすると怒られるの。 traitを引数にするなら、 fn foo<T: Iterator<Item=i32>> (it: T) { ... } みたいにしないといけない。 解決法は知ってるつもりなんだが、Sizedを実装していないからダメよ、と怒られるのは何故なのか未だに理解はしていない。 324 名前：デフォルトの名無しさん mailto:sage [2015/06/27(土) 23:20:55.81 ID:SbfB1Jvt.net] >>323 Trait型は実際にはそのTraitを実装した何かしらの型が実体になるんだけど、 関数引数とかローカル変数としてスタック上に配置するためには型自体のサイズがコンパイル時に分かってる必要があるから、 Trait型はポインタを経由するなどしないといけない T: Traitとかすると、Tで指定された型それぞれに応じて特殊化された関数が生成されるからコンパイル時に型が特定できてサイズもわかるから問題にならない 325 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 03:45:02.95 ID:sui11WPz.net] やっぱりスタック上に配置が理由なのね。でもそれって人が配慮する必要があるのか？という部分に不満が残る。 コンパイラが自動的に多相型の関数とみなしたら不都合があるのかな。 326 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 10:13:01.42 ID:6byfIPXR.net] foo: Traitを<T: Trait> fooのシンタックスシュガーとみなすのはありかもしれないけど、 スマートポインタ型なんかを定義する時とか本当にunsizedな型が必要なケースに困ってしまいそうな気がする。 自動で&Traitなどに変換してしまうのは、ヒープへのメモリ確保とか仮想関数呼び出しが必要で ゼロオーバーヘッドの原則に反してしまうからrustではやらないと思う。 327 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 17:45:54.19 ID:l0DVu4po.net] ?Sizedが必要な場合もあるし面倒だよね 328 名前：デフォルトの名無しさん mailto:sage [2015/06/28(日) 19:16:48.49 ID:l0DVu4po.net] トレイトは別のトレイトを継承できるけど 継承しててもトレイトからトレイトにはアップキャスト出来ないっぽい これじゃあオブジェクト指向のような多態性を活かした設計は難しいね 329 名前：デフォルトの名無しさん [2015/06/29(月) 09:33:30.50 ID:8+Jbzv8W.net] 単なる型クラスになに要求してんのかと。 Rustがオブジェクト指向でないのは結構なことだ。 330 名前：デフォルトの名無しさん mailto:sage [2015/06/29(月) 17:09:32.97 ID:9FsJz544.net] trait FooExt : Foo { .. } ってのは、単にFooExtを実装する型はFooも実装しなければならない、という意味しかない。 FooトレイトをimplするだけでFooExtトレイトも使えるようにしたい、という目的なら、 impl<F: Foo> FooExt for F { ... } とすると良い。 struct STFoo; impl Foo for STFoo { ... } とかすると、STFooはFooExtのメソッドも呼び出せる。 FooとFooExtに同じ名前のメソッドdo_foo(&self)があったときは、呼び出し側でFoo::do_foo(&foo)とかしないといけない。 OOPでアップキャストが必要な場面ってあったっけ？ 331 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 22:00:52.85 ID:5IIg4rdj.net] 暗黙のアップキャストてOOPの基本の一つじゃね？ 332 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 22:32:05.66 ID:uCmnNLIn.net] どの言語のOOPかにもよるのでは。知らんけど。 333 名前：デフォルトの名無しさん mailto:sage [2015/06/30(火) 22:34:50.83 ID:OotDes5f.net] Rustって強力なトレイトという名の型クラスを導入することでOOP(のRustにとって必要な部分)が(綺麗に)できるというだけで、別にOOPするための言語では無いと思う。 ちなみにアップキャストってこれじゃいかんの? stackoverflow.com/questions/28632968/why-doesnt-rust-support-trait-object-upcasting 334 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 01:38:30.43 ID:Co4dDuJ+.net] インターフェースを拡張した場合において、拡張元のインターフェースにアップキャストできるかどうかは、OOPL次第。 同一のメソッド名であれば実装を一本にまとめてしまうJavaはできるが、 同一のメソッド名だが異なるインターフェースで異なる実装をもてるDelphiはアップキャストできない。 C#はどうだったかな？ 後者だった気がする。 335 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 01:51:50.96 ID:paBhA78F.net] アップキャストできない場合て、多態できなくね？ 多態出来ないと、OOPの1/3位の価値が失われる気がするんだが… ま、別にrustにOOPを求めてはいないんだけどね。 336 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 05:52:25.11 ID:/48a4Fba.net] >>334 DelphiもC#もできるぞ……なんか勘違いしてそう 337 名前：デフォルトの名無しさん mailto:sage [2015/07/01(水) 06:53:23.75 ID:va2KIQhQ.net] >>335 Derived→Baseというtrait間のキャストができないだけで、 traitを実装した型を&Baseへキャストすることはできるけど、 それだけではたりない？ 338 名前：デフォルトの名無しさん mailto:sage [2015/07/04(土) 23:29:18.24 ID:Swd5RGwS.net] Documentation↓読んでみたけど使い方まるで分からなかった orz https://doc.rust-lang.org/stable/book/documentation.html どこか分かりやすいサイトあったら教えて 339 名前：デフォルトの名無しさん mailto:sage [2015/07/04(土) 23:41:44.31 ID:JArIChSh.net] rustbyexample 340 名前：デフォルトの名無しさん mailto:sage [2015/07/05(日) 00:58:16.90 ID:D54Ug4Aq.net] >>338 実際に rustdoc を使ってみれば慣れるだろ 341 名前：デフォルトの名無しさん mailto:sage [2015/07/07(火) 12:17:44.59 ID:6KFd5cV4.net] implでトレイトに対して実装すると範囲が広くて使い勝手が悪くなるのを知った。 impl<T> TraitFoo for T where T: TraitBar { ... } ってやった後、 impl<T> TraitFoo for T where T: TraitBaz { ... } と別のトレイトも実装しようとすると conflicting implementations for trait `TraitFoo` と怒られる。TraitBarとTraitBazが全く関係が無いもの(例えばstd::net::ToSocketAddrsとstd::ops::Add)であっても駄目。 今、TraitBarとTraitBaz両方を実装した型が無くても、この先作られるかもしれないから、という理屈？らしい。 じゃあ impl TraitFoo for TraitBar {...} とすると、コンパイルは通るけどTraitBarを実装した型はTraitFooを実装したことにならないので、 意味が無い。 342 名前：デフォルトの名無しさん mailto:sage [2015/07/07(火) 22:52:02.79 ID:cXg5joXk.net] Neative boundsが実装されるのを待とう 343 名前：デフォルトの名無しさん mailto:sage [2015/07/09(木) 07:18:05.44 ID:3KxMUrWp.net] RustのTraitは正直失敗だよ 本来のトレイトとは別物だしインターフェースや型クラスとも違う 中途半端な出来損ない 344 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 00:55:02.57 ID:vqJ6PXtp.net] scalaのtrait implicit classを関係があるんかな 345 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 20:39:40.07 ID:s1SvBZBN.net] 本来のトレイトって何？何がRustのトレイトに足りないの？ 346 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 16:36:48.46 ID:Kkrt7iJt.net] 本来のトレイトは実装を再利用するための機能であって 使うトレイトの組み合わせを変えるなどして実装を変えられるものだ 普通はトレイトに型システムの機能は無く トレイト型にキャストとか出来ないし どのトレイトを使っているのかで区別もしない ましてトレイトの関数を再実装できるようにしてトレイト型に多態性を持たせるとか 名前が衝突してもトレイト型にキャストすれば別々の実装が呼べるとかすべきでなかった おかげで本来の使い方が出来なくなった 347 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 17:45:25.68 ID:4s1838+j.net] いやだからRustでできない本来の使い方って何さ。他の言語でもいいから例をプリーズ。 Rustでも実装の再利用ってできるでしょ。Iteratorをimplするのに最低限必要なのはnextだけでいい。Readだったらreadだけ。 implする型に制限は無い。基本型にすらtraitを与えることができる。 オレオレ実装を使いたいならstruct Myi32(i32)とかすればいい。 traitは関数のみ定義できて値を持たせることはできないけど、これはimplする型全てが構造体のような形態を持っていないため。抜け道は普通にある。 traitは型ではない、型であるべきではない、という主張も正直分からない。 traitを実装したものは全て特定の関数を持っているんだから、それをまとめて型Xとするとどこに不都合があるのか。 348 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 23:54:13.14 ID:Kkrt7iJt.net] 極端な例になるけどこれを見て欲しい trait FooA { 　fn foo(&self) { self.bar1(); self.bar2(); } } trait FooB { 　fn foo(&self) { self.bar2(); self.bar1(); } } trait BarA { 　fn bar1(&self) { println!("A-1"); } 　fn bar2(&self) { println!("A-2"); } } trait BarB { 　fn bar1(&self) { println!("B-1"); } 　fn bar2(&self) { println!("B-2"); } } 一般的なトレイトだとFooAとFooBのどちらかとBarAとBarBのどちらかを組み合わせることができる それがトレイトの再利用 この場合トレイト型で区別しても意味が無い 349 名前：デフォルトの名無しさん mailto:sage [2015/07/16(木) 01:05:53.97 ID:AYGKegct.net] はぁ？ 350 名前：デフォルトの名無しさん mailto:sage [2015/07/16(木) 03:44:30.67 ID:xr+gKr/s.net] その一般的なトレイトだと、FooAかFooBをミックスインした対象はbar1とbar2を呼び出せないといけないんだよね？ OCamlの書き方でやると < bar1 : (); bar2: () > というシグネチャを持っている型しかFooA/FooBをミックスインすることはできないわけだ。 その型に、例えばBarと名づけて型チェッカで検査させて都合がでるとは思えない。実際に問題は起きていない。 https://codeshare.io/5XfJ1 ↑で一々implの羅列を書くのが面倒だという声に応えて>>341のようなimpl<F> Foo for F where FooA { ... }があって、 けどこれはまだ使い勝手が悪いからnegative boundがRFCに上がっている。 それも待ちきれないならnightlyのlibsyntax、あるいはsyntexを使って自動化することもできる(はず)。 他の言語だと、traitは型じゃないの？FooA+BarAをミックスインした型とFooB+BarAをミックスインした型は多相リストに入れたら駄目だったりするの？ 351 名前：デフォルトの名無しさん mailto:sage [2015/07/16(木) 23:56:38.15 ID:P5KxMz2p.net] 一応トレイトの論文(Composable Units of Behaviour)があって それを本来のトレイトと呼んでるんだけど本来のトレイトは型じゃないってのは事実 PHPのトレイトが型としての機能が無くて本来のトレイトに近い Scalaのトレイトは型として扱うことで継承構造も再利用できるようになってるけど Rustと違ってそれで本来の使い方が出来なくなったりはしてない それと読み返してて思ったんだけどもしかしたら誤解させたかもしれない 今のRustでトレイトの型としての機能を無くすならトレイトの代わりになる別の抽象型が必要になる PHPもトレイトの他にインターフェースがある それにトレイトが型なのが問題というよりも型として強力にするために多態性を持たせたり 名前が衝突しても解決しなくていい仕様にしたのが一番の問題 そこで本来のトレイトと使い方が大きく変わってしまった 352 名前：デフォルトの名無しさん mailto:sage [2015/07/17(金) 00:25:13.89 ID:GZRy2HRh.net] 論文のタイトル正確にはTraits: Composable Units of Behaviourだった 353 名前：デフォルトの名無しさん mailto:sage [2015/07/17(金) 13:44:39.09 ID:vkp5Zmx6.net] 型とクラスを混同しているようだけど、型とクラスは違う。その論文のどこにもトレイトは型じゃないと言ってない。むしろ型以外の何者でもない。 クラスベースのOOPLは型≒クラスだけど、rustにはクラスもその階層構造も無い。 その論文で言及している、inheritance由来のデメリットはrustには存在しない。 よってトレイトがクラスベースの言語で解決してくれるような問題はrustには無く、論文の定義通りのはたらき、 すなわち「requiredなメソッドを用意したらあるメソッドをprovideする」を行っている。 「本来の使い方」という曖昧な言い方はやめてくれ。 useで明示的に指定したメソッドしか使えないのは論文の定義(トレイトをミックスインした場合と、しないで同名のメソッドを定義したものは同等であるべき)とは違うように見えるが、 クラスが無いんだからあまり変わらない。むしろあるメソッドがどこから提供されているのかを曖昧にしないのは利点ですらある。 トレイトに関する多相性というと、トレイトをミックスインした型全てを扱える仕組み(fn do_foo<T:>(f: &T) where T: TFoo {...})と、 多相トレイトを定義できる仕組み(trait TFoo<V> { ... })の2つがあるが、後者があるのがどう問題になるのか？ 多相トレイトを使う時、すなわちミックスイン時には単相化されるか、多相型のパラメータに渡されるだけなんじゃないの？ そして多相トレイトをやめた場合、例えばIterator<Item=T>というものはどう実現すればいいのか。 354 名前：デフォルトの名無しさん [2015/07/17(金) 14:25:23.54 ID:Zvxj9F2y.net] 結論：オブ脳の恐怖 355 名前：デフォルトの名無しさん mailto:sage [2015/07/18(土) 21:30:37.89 ID:FAOQ/v/X.net] まあrustのトレイトはその言葉の意味「特性」をそのまま持ち込んでいるから、シグネチャ以外の特徴の表現にも使われている。 SizedとかSyncとか。 この過剰な応用がどんなデメリットになるかはもう少し様子を見てみる必要があるとは思う。 今も初見じゃ分かりづらいエラーメッセージの元になっている。Sizedトレイトが実装されてないから駄目ってどういうこと？とか。 356 名前：デフォルトの名無しさん mailto:sage [2015/07/18(土) 22:39:00.92 ID:vVMIYXNu.net] あの論文を読んでどうやったらトレイトを型と見なせるのか俺にはわからん 型＝クラスと思ってるわけじゃないけど型という用語の認識が違うのは確かだろうね 君はRubyのモジュールも型とみなすのかな俺は違うと思ってる 正直認識が違いすぎてどう説明していいのか分からん 他言語のトレイトを使って確かめてくれとしか言いようがない 357 名前：デフォルトの名無しさん mailto:sage [2015/07/19(日) 02:51:08.17 ID:0GQY2ef7.net] 論文に書いてあるのは「トレイトはクラスではなく、クラスを構成する部品である」ということなのはいいか？ 「トレイトは型じゃない」とは一言も書いてないし、それ以前に型という単語すら使ってない。言及していない。 だから型じゃないと主張するなら、自分でその根拠を述べる必要があるのは分かってるか？ クラスの無い静的型付け言語のrustでのトレイトは、 1. 階層構造が無い、あるメソッドを定義すればそれに基づいたメソッドをstruct, enum, primitiveに与えるもので、 2. (Struct | Enum | Primitive) = State + Traits + Glueを満たすんだから、 論文にあるトレイトとほぼ同義。linear compositionができるんだから使い方も間違っちゃいない。 動的型付けでは曖昧にしていた所をはっきりさせれば、多相トレイトが自然であることも分かるだろ？ 話を曖昧にしたがるあなたに付き合う必要は無いけれど、ついでに適当に書くよ。 Rubyのモジュールをミックスインしたクラスから生成されるオブジェクト全てを扱えるメソッドが書けるなら、モジュールは型とみなせる。 例えばFooモジュールを作るだろ？ module Foo def bar 　return "bar" end def baz(x, y) 　return x + y end end で、こいつをミックスインしたクラスのインスタンスを、例えばdef do_something(f) return (f.bar , f.baz(1,2)) endに渡せるんだろ？ ならインスタンスはパラメトリック多相なFoo型を単相化したもの、と呼べるだろ。 Foo型とはメソッドbar : () -> stringとbaz : int -> int -> intを持つもの全て、だ。 動的型言語の関数に対して、静的型言語の型注釈を無理なく与えようとしたら、 殆どの関数は多相型になり、多相性を制限するもの(haskellの型クラス, OCamlのモジュール+ファンクタ, rustのトレイト, Javaのアドホック多相かジェネリクス)が必要になる。 358 名前：デフォルトの名無しさん mailto:sage [2015/07/19(日) 18:51:02.73 ID:pLL2VJtZ.net] なるほど要するに trait Foo { 　fn bar(&self) {} } となってるときにselfの型はFooだからトレイトは型である必要があると言いたいわけだ 普通のトレイトはクラスにミックスインした時にコピーされるから その時selfの型が決まるけどそうやって曖昧にすることを許さないと でもその考え方はやっぱりトレイトと違う 一応論文のURLを貼っておくけど ttp://www.ptidej.net/courses/ift6251/fall06/presentations/061122/061122.doc.pdf 8ページの図にあるTCircleとTDrawingがトレイト 白丸が提供するメソッドで右矢印が必要とするメソッド 9ページの図がトレイトのミックスイン これがRustのトレイトと同じに見えるらしいけど 俺にはむしろ5ページの図にある多重継承の例がRustのトレイトだと思ってる そこに多重継承の問題が書いてあって実装が重複すると書かれているけど それを>>341で解決を試みているように見える この流れだと多重継承もトレイトだとか言われそうだけど そうなったらもう何も言えない 359 名前：デフォルトの名無しさん mailto:sage [2015/07/20(月) 21:03:10.22 ID:oqUyaDhZ.net] だーかーらー「思ってる」だけじゃなくて根拠を書いてくれ。どうしてrustのトレイトが多重継承と同じになるんだ？ 例えば多重継承によって発生するdiamond problemをrustのトレイトを使って書いてくれ。 >>341で愚痴ったのは自分だが、あるトレイトTFooBarをimplすれば、自動的に他のトレイトTFooもimplしたことにしたい、という横着な欲求を実現しようとして、 (実現できたらtraitを使ってOOPのクラス継承を簡単に作れる) impl<T> TFoo for T: TFooBar {...} と書いたら、自分の予想外の事態(TFooBazも同様にしたら、TFooBarとTFooBazの両方をimplした型はどうなる？) をコンパイラが検出してエラーを出しただけの話だ。 普通に実装を羅列すれば問題ない。デフォルト実装を書けばimplにコードを書く必要もない。型SFooに対し、impl TFoo for SFoo {}と impl TFooBar for SFoo {} と書けばいいだけ。 多重継承の問題じゃない。implを多相にしたら範囲が広すぎて怒られただけの話。 rustのトレイトは、論文の通りで、継承はあるけどそれで階層構造を作るわけじゃない。 trait FooBar : Fooと書いたら、Fooの要求するメソッドをFooBarも要求する、Fooの提供するメソッドをFooBarも提供する、だけ。 impl FooBar for SFoo {...}でFooから受け継いだrequiredメソッドを書けないじゃないかと思うかもしれんが、 静的型付けの言語でFooBarとFooの関係を完全に切り離すのは利便性を下げるだけなのは分かるよな？ impl Foo for SFoo {...}と書くだけでSFooはFoo型としてもFooBar型としても扱えるようになるんだから。 360 名前：デフォルトの名無しさん [2015/07/20(月) 21:06:59.38 ID:XuKvM2I+.net] トレイトは多相性の制限という形で不変条件を表現してるものなんだから >>357が正しいとしか思えんけどなあ。 361 名前：デフォルトの名無しさん mailto:sage [2015/07/21(火) 21:00:10.36 ID:Nw2FJ/oz.net] 論文の5ページの図は菱形継承とは関係無い むしろ親クラスと子クラスの2階層でも問題があることを示してる 具体的には親クラス同士の連携のために親クラスに連携用のメソッドを追加する必要があること その連携用のメソッドを子クラスで実装しなければならないことが書かれている Rustが名前の衝突を許すせいで分かりづらいけど名前の衝突を避ければ>>348は trait FooA { 　fn foo(&self) { self.FooA_bar1(); self.FooA_bar2(); } 　fn FooA_bar1(&self); 　fn FooA_bar2(&self); } となってミックスインする時にFooA_bar1を呼んだらbar1を呼ぶように実装することになる 名前を同じにしようがtrait FooA: Barにしようが実装の数は変わらない そしてこの連携のための実装は再利用が出来ない >>350でこの問題の解決方法として>>341を挙げてるからそれを指摘した 別に>>341のエラーを多重継承のせいにしたつもりはない 確かに論文ではトレイト間の階層構造に意味が無いことは書かれていたけど 同時にトレイトはクラスの階層構造に影響しないとも書いてあったはず クラスとトレイト間では階層構造を作るという解釈はどこから来た？ ここで2階層になってるからさっきの多重継承の問題が出てきた 362 名前：デフォルトの名無しさん mailto:sage [2015/07/21(火) 23:59:09.59 ID:BEOiskjZ.net] あなた「Rustのトレイトはクソ！本来の使い方ができない！」 >>343 ぼく「どうクソなの？本来の使い方って？」 >>345 あなた「トレイトは実装の再利用をするための部品。トレイトを型として扱ってるからクソ！多相性があるからクソ！」 >>346 ぼく「再利用できるじゃん。例もあるでしょ」 >>347 あなた「例えばこんなコードでトレイトを組み合わせることができない！」 >>348 ぼく「できたよ」 >>350 あなた「論文の定義と違うからクソ！トレイトがクラスになっているRustはクソ！」 >>351 ぼく「そもそもrustにクラス無いじゃん。クラスと型は違う」 >>353 あなた「じゃあお前はrubyのモジュールも型と言うんだな！話にならん！」 >>356 ぼく「rubyよく知らないけど型と呼べそうだよ。そもそも元の論文でtraitと型の関係は何も書いてないじゃん」 >>357 あなた「rustのトレイトは論文5pの図で言うところの多重継承だ！クソ！」 >>358 ぼく「多重継承じゃないでしょ。フラットになってるでしょ。Rustのトレイトが多重継承ならdiamond problemを書いてみてよ」 >>359 あなた「5pは菱型問題じゃない！お前分かってない！親子だけの2階層だけでも問題！」 >>361 363 名前：デフォルトの名無しさん mailto:sage [2015/07/22(水) 00:06:40.09 ID:pdX/k3oq.net] あなたが書かなければならないのは、>>343で吠えたようにrustのトレイトが実装の再利用において、 本来のトレイトが解決してくれることができないこと、なんだけど1つも例を挙げてないよね。 >>348で折角「極端な例」を出してくれたが、それが>>350でrustでも書けることを示したんだが。 で、クラスと型を混同している頭ではトレイトが型なのが許せないようで、論文という他人の言葉だけを頼りにグダグダやっているけど、 第一級市民としてのクラスが無い、多相型のあるrustで、という文脈をずーっと無視しているよね。 論文は動的型付けの、継承がコードの再利用方法としてメジャーな言語の中での話、っていう文脈も無視しているよね。 トレイトは型ではいけない理由も、rustのトレイトが多重継承だと思った理由も、何にも説明してくれないからこっちで補完して反論してきたが、 もうお節介はやめるよ。ちゃんと自分の頭で考えなさい。 364 名前：デフォルトの名無しさん mailto:sage [2015/07/22(水) 13:50:02.41 ID:tlwxTsYf.net] >>362 何を長々と、、、と思ってたらまとめが出来ていて分かった、乙 関数型の議論と同じく実用はおいといてセンシティブな定義で気に入らないのかな 定義に敏感な人は大変だなぁ 365 名前：デフォルトの名無しさん mailto:sage [2015/07/22(水) 21:55:10.25 ID:ubJIybN+.net] 論文ではまず実装の再利用に関して既存のやり方には問題があることを示した上で その問題を解決するためにトレイトを提案してる その問題の1つが>>350のimplで理由は>>361に書いた 結局トレイトで否定したやり方をRustはトレイトと呼んでるわけだ Rustの文脈を無視してるというのならトレイトの目的や背景も考慮したらどうだ トレイトが型ではいけないってのは結局俺の間違いだった 型の機能を優先しすぎてトレイトの機能を無くすのが問題だっただけで トレイトの機能と型の機能は両立できそう 366 名前：デフォルトの名無しさん mailto:sage [2015/07/22(水) 23:45:21.91 ID:pdX/k3oq.net] >論文ではまず実装の再利用に関して既存のやり方には問題があることを示した上で >その問題を解決するためにトレイトを提案してる だからその問題を具体的に、自分の言葉で説明しろよ。>>350を書いたのは俺だ。 そこにかかれているのはimpl TFoo for SFoo {}をひたすら書くのが面倒だね、ってことだけだ。勝手な誤読をすんな。 これが論文で言うcode duplicationだと思っているなら、あなたは論文を読む以前の知識が足りない。 しかも>>361で性懲りもなく親クラスなんて言葉をrustに持ち込んで妄言を吐いてるだけ。rustの何が親クラスなんだ？ トレイトの背景と目的？だから継承ベースのコードの再利用にある問題を解決するには、って分かってるから>>353で 「そんな問題はrustには無いんで、論文の言葉どおりにトレイトを定義した」と書いている。 で、親クラスって何よ？>>350のどこにも親クラスなんて存在しない。 367 名前：デフォルトの名無しさん mailto:sage [2015/07/23(木) 21:35:53.52 ID:XXd04llZ.net] Rustのトレイトを親クラス、構造体を子クラスと見なせば論文の例はこうなる https://play.rust-lang.org/?gist=8f1db295cff07a5163e7&version=stable SyncAとSyncBのimplがほとんど同じでA::やB::の代わりにsuperが使えれば完全に重複 論文ではこの重複も問題として扱っている 368 名前：デフォルトの名無しさん mailto:sage [2015/07/23(木) 22:25:53.21 ID:bNJIoU7G.net] それでみなさんはrustで何作ってるんですか？ 369 名前：デフォルトの名無しさん [2015/07/23(木) 22:42:51.27 ID:GSXYPmA+.net] >>368 まあ、昔と違ってシステムプログラミングの需要って減ってるよね。 GTKかwxWidgetsのRustバインディングが安定したら何作るか考えるわ。 370 名前：デフォルトの名無しさん mailto:sage [2015/07/23(木) 22:49:25.52 ID:yXyFyEpk.net] >>367 みなさなきゃ良いんじゃね rustのトレイトの問題じゃなくお前さんの視点の問題だろ？ Cで作るようなシステムアプリケーションとか作ってる 基本評判悪いけど面白い言語よのう 371 名前：デフォルトの名無しさん mailto:sage [2015/07/24(金) 00:32:36.11 ID:D0ziIpoZ.net] >>367 phpでやってみたが、減らせるコードって36-39行と47-50行だけしかなくね？ codepad.viper-7.com/2A7K4h しかもSyncAとSyncBをAを扱う関数に渡したら、syncRead呼ばれないし。継承じゃないなそれ。 学習目的もあるが、PEGをもっと広めたいなーと思って色々触っている。 DSL作るのはLispと関数型言語が楽だとは知っているけど、rustも代数的データ型とパターンマッチがあるから何とかなるんじゃないかと思っている。 std::mem::size_of_valとかで見る限り、構造体のメモリ使用量がCと同じなのが気に入った。 いくらメソッド追加してもコストにならないし、vtableが出てくるのは&Traitみたいなtraitオブジェクトを渡すときだけなのも良い。 struct Container<'a, T: 'a + Trait> { inner: &'a T } のメモリ使用量はusize struct Container<'a> { inner: &'a Trait } はファットポインタなのでusize + usize 372 名前：デフォルトの名無しさん mailto:sage [2015/08/08(土) 02:29:33.62 ID:qRv1Q/E9.net] 普段ScalaとPlayFrameworkでWeb書いてるんやが、JVM嫌すぎてやめたい。 Rustさんはどうなんすかね。 373 名前：デフォルトの名無しさん mailto:sage [2015/08/08(土) 02:34:13.24 ID:6f0NYoQy.net] Announcing Rust 1.2 blog.rust-lang.org/2015/08/06/Rust-1.2.html 374 名前：デフォルトの名無しさん mailto:sage [2015/08/08(土) 11:31:29.07 ID:vDqHzBe+.net] >>372 JVMの何が気に入らないのか分からんが マルチコアプロセッサで効率的な動作を期待するならgoの方が向いてる 375 名前：デフォルトの名無しさん mailto:sage [2015/08/09(日) 03:37:11.08 ID:f9auPRN7.net] Rust1.2に付随してcargoのバージョンが上がってプロジェクトディレクトリの.cargo/configで [build] rustc = "multirust run nightly rustc" とチャンネルを指定することができるようになったのが嬉しい。 前からcrates.ioのドキュメントにできると書いてあったのに、stableじゃできなかった。 3つもチャンネルがあるとドキュメントがいつから対応しているのか書く側も把握しづらいのかね。 376 名前：デフォルトの名無しさん mailto:sage [2015/08/12(水) 01:45:21.38 ID:7PEu3mkB.net] >>375 できなかった。自分でrust-nightlyとか適当なシェルスクリプトかまさないといけない。 377 名前：デフォルトの名無しさん mailto:sage [2015/08/12(水) 12:36:33.87 ID:0A5qnrPY.net] >>374 ただの技量不足なんですが、メモリ食っちゃうので… 378 名前：デフォルトの名無しさん mailto:sage [2015/08/12(水) 15:02:52.00 ID:rodoarXT.net] そりゃgoを使っても本質的には変わらんなw rustでビルド時に厳密にチェックするのは一案かもな 最初は厳密すぎて実装効率がクッソ下がる悪夢にうなされるだろうけど 379 名前：デフォルトの名無しさん mailto:sage [2015/08/13(木) 21:19:32.57 ID:gZkyyADQ.net] rustで、機械学習やりたいんですが線形代数とかに便利なライブラリってあります？ 380 名前：デフォルトの名無しさん mailto:sage [2015/08/13(木) 21:32:20.79 ID:PzFzu2cW.net] 基本的なライブラリも出揃ってないんだからないでしょ。 まぁ速くて関数型だから機械学習に使いたいのは分かるけど 381 名前：デフォルトの名無しさん mailto:sage [2015/08/13(木) 22:24:22.09 ID:YKJt+Rxb.net] 普通にC/C++ライブラリをブリッジしてフロントをrustで書けば良いのでは ブラックボックスのライブラリまで無駄にrustランタイムに依存しなくて良いだろう 関数型だから(笑)で選んだなら全てがrustじゃないと気に入らないかもだが そうじゃないと思いたい 382 名前：デフォルトの名無しさん mailto:sage [2015/08/13(木) 23:14:36.16 ID:nvcb5WnS.net] C、C++で書かれたライブラリは予想外な最適化がなされていることがあるのではないか、と https://github.com/BurntSushi/rust-memchr/ のベンチマークを見て、 code.metager.de/source/xref/gnu/glibc/string/memchr.c を覗いて思った。 383 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 06:56:14.33 ID:blwavvg/.net] >>381 単純にrustに触るモチベーションにしようかと思っただけなんですが、 結局c++とかさわることになるなら、もうちょっとまってみます。 384 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 07:57:50.79 ID:OFjX8KNn.net] そうかrustじゃなきゃヤだったか、残念だ rustに限らず新進の言語は自分が早い、と言い張ってるが inlineとかconstexprとか、そういう言語仕様レベルでC/C++には負けそう スクリプト言語よりは早いし、C/C++にない言語特性で勝ってるから良いんだけど 385 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 08:20:01.82 ID:8DhgL6X2.net] どうせバックエンドはLLVMだし、速度はなんとでもなりそう inline指定はC++より細かくできるし そのうちconst関数も実装されるんじゃなかったっけ 386 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 08:36:32.05 ID:+/xffdWO.net] 魔法の言葉、LLVM LLVMを使ってれば全てが横並びになる、、、わけがねーだろ 387 名前：デフォルトの名無しさん [2015/08/14(金) 13:18:33.36 ID:MLcHO6rW.net] CはともかくC++書きたくないからRustに期待するので… GCないし言語仕様自体で遅くなるということはない 現状でも遅くないし、最適化はコンパイラの成熟待ち 388 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 13:23:40.07 ID:ySA2YUfa.net] cppとかもうオワコンだろ 389 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 13:46:27.32 ID:G+XHrt0h.net] だったらrustがzero-costを推してるのは、、、 雨後のたけのこよろしく言語乱立なう 枯れるまでC++は良い言語の一つだと思うよ 390 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 17:04:46.99 ID:mJ5T1H4E.net] 最適化といってもコンパイラができる最適化には限りがあるよ。 例えばサイズnのスライスに対してある特定の処理を書くとしたら、 slice.iter().map(|x| { f(x) }) とか書くじゃん。遅延処理になるから、その後枝刈りができる可能性はあるけど、基本的にn回処理しなきゃならない。 頭のおかしい人が&[u8]とf(x)の中身を見て、&[u64]にしてf(x)を変形させて処理がn/8回で済むアルゴリズムを考えたとき、 そいつをコンパイラに伝える方法があるようには思えない。特にf(x)の中身を見ないといけない部分が難しい。 rustでスマートに書けるところは多いけど、速度が問題になるジャンルでは簡潔さを捨てても取るべきものがある、と思う。 391 名前：デフォルトの名無しさん [2015/08/14(金) 17:18:09.99 ID:MLcHO6rW.net] そりゃアルゴリズム変えるなら別の書き方することになるってだけでは… RustはCとのインターフェイスが簡潔なのがよい ほんとC++さっさと滅ばねーかなー 392 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 18:56:03.00 ID:tSzJ9MLR.net] ちゃんと読んでないけど、アルゴリズムの書き方が言語仕様で縛られるのでは？ C++を滅ぼそうとDだのC#だの出たけど倒れる気配ないからなぁ 時代は変わったけど難しいね 393 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 20:22:55.00 ID:N/BdRhBJ.net] 滅びを願う必要ないでしょうに 394 名前：デフォルトの名無しさん mailto:sage [2015/08/14(金) 23:57:05.10 ID:bS+eLMvH.net] >>390 f(x)がinline化可能なら、コンパイラがそういう最適化できる可能性もあるのでは？ ただ、最適化突き詰めていくと今のところ人の手でしかできないようなものがあるというのはその通りだと思う 395 名前：デフォルトの名無しさん mailto:sage [2015/08/15(土) 11:29:55.30 ID:LE4LycT3.net] >>392 C#はc++滅ぼすためにでたんか VM上で動く言語がc++の替わりになるとは思えんけど 396 名前：デフォルトの名無しさん mailto:sage [2015/08/15(土) 15:00:25.90 ID:BF06i3ZJ.net] C#の4つの+の内2つは†だからね 397 名前：デフォルトの名無しさん mailto:sage [2015/08/15(土) 16:30:24.95 ID:2bLrWO8C.net] c♯はvm言語だけどjavaとは比較にならないくらい速いぞ 398 名前：デフォルトの名無しさん mailto:sage [2015/08/15(土) 19:21:36.26 ID:y8T1xilv.net] rustのC/C++にない機能特徴ってメモリ管理以外何かある？ 文法はどーでもいいので、機能面でメリットがあれば教えて頂きたく 399 名前：デフォルトの名無しさん mailto:sage [2015/08/15(土) 19:44:13.49 ID:b89uyLUZ.net] バックエンドがLLVMということは、裏返せばLLVMにできないことはどう頑張ってもできなくて LLVMを使いこなすという点ではclangの方がずっとこなれている、ということでもあるからなあ clangだと独自拡張やビルトインを駆使してめっさ面倒なことがrustでこんなに簡単に！はあっても clangでできないことがrustならできる、は無いだろ 400 名前：デフォルトの名無しさん [2015/08/16(日) 00:02:58.53 ID:0FrBGB/k.net] >>398 代数的データ型があること 401 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 08:54:35.06 ID:B/eZX+WT.net] 機能なのかね、関数型(笑)の特徴ではあれど文法の話な気が zero-cost abstractionsってサイトのトップで言ってるけど C++のvisual関数と違って、rust traitの抽象化はオーバーヘッドが少ない(もしくはゼロ)、、、？ 402 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 15:52:42.12 ID:LltgmYR9.net] 言語の機能と文法はどう区別するべきか 言語の型システムに影響与えるものは機能に分類されると思う rustのメモリ管理も型レベルで整合性判定しとるらしいし その話は置いといてメモリ管理以外にも色んなファイルやソケットみたいなリソース管理 もやってくれるって宣伝しとる 403 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 17:33:48.92 ID:mucOKkH4.net] >>399 最後の文、なんかおかしくね？ 404 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 17:37:02.87 ID:P0XQ+1Fa.net] Rustのtraitは&TとかBox<T>とかって形以外で使う分には完全にゼロコスト。C++のtemplateと一緒 405 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 19:29:02.58 ID:y6uPjVhI.net] visual 関数… 406 名前：デフォルトの名無しさん [2015/08/16(日) 20:25:28.98 ID:kniDeEJc.net] >>401 ADTのない言語でパーザやコンパイラなんか絶対に書きたくない 407 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 20:32:14.50 ID:+yYCxpZd.net] >>404 C++のvirtual関数だって静的に解決できる範囲だと普通の関数呼び出しだぞ 結局、必要なとこではやっぱりコストがかかりますという当たり前の話でしかない 408 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 20:45:48.84 ID:MwsW2pbd.net] >>402 プログラマじゃなくユーザにメリットある影響なら機能的な意味と見なしたいな メモリやリソースは解放漏れでユーザに悪影響出るが、代数的データ型は影響無さそう 型情報を納めるためのメタデータが必要で (極少量とは言え)性能が落ちるならカティンとくるがまさかそんなこともあるまい 409 名前：デフォルトの名無しさん [2015/08/16(日) 20:54:28.62 ID:kniDeEJc.net] >>408 >型情報を納めるためのメタデータが必要で >(極少量とは言え)性能が落ちるならカティンとくるが 頭おかしい 410 名前：デフォルトの名無しさん mailto:sage [2015/08/16(日) 21:05:51.13 ID:+yYCxpZd.net] ユーザへのメリットというなら、まずライブラリの形式がrlibとか特殊入ってる時点で…… もちろんVM言語よりは遥かにましだけど 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は自作の型に参照型のメンバーががあるときは地獄のようだが、それ以外で怒られるときは分かりやすいエラーを出してくれる。 これさえ読めばすぐ分かる、完璧！という記事/本は英語圏でも無いんじゃないか。あったら教えてほしいくらい。 512 名前：508 mailto:sage [2016/01/16(土) 23:27:33.74 ID:z5FTR37d.net] >>511 そうなんですか、当分出ないのかなぁ。1.0でたから 出版考える人居るかと思いました。 後はオライリーのが出版された後に翻訳されることを期待ですかねぇ。 英語の峰もまだ出版は先みたいですが… 513 名前：デフォルトの名無しさん mailto:sage [2016/01/17(日) 09:31:02.77 ID:q1eYL5ZR.net] 公式ドキュメントのThe Rust Programming Languageが要所を押さえて普通に分かりやすかった 日本語訳を探せばみつかるんじゃないの 514 名前：デフォルトの名無しさん mailto:sage [2016/01/22(金) 20:08:53.13 ID:NZ+VESGj.net] 1.6リリース。 ttp://blog.rust-lang.org/2016/01/21/Rust-1.6.html libcoreがstableに -> 組み込み分野でstableバージョンのrustcが使えるようにするための第一歩。 現状、no_stdが使えない&libcore自身もstableじゃビルドできないんで、組み込み分野でnightlyを使うべきなのは変わらず。 crates.ioのパッケージは依存関係に*を使えなくなった -> パッケージ間の信頼性が上がったと思う 515 名前：デフォルトの名無しさん mailto:sage [2016/01/22(金) 20:08:53.78 ID:TxuZu1KE.net] 紙の本でプログラミング言語を学ぶって不便じゃないか 516 名前：デフォルトの名無しさん mailto:sage [2016/01/22(金) 23:51:29.07 ID:LnlCczkn.net] 全画面でエディタor IDE開いてるからなぁ…サブディスプレイほしい 517 名前：デフォルトの名無しさん mailto:sage [2016/01/23(土) 07:16:12.42 ID:k3yqR1GN.net] GNU screen等のウィンドウ分割でも使えば？と思ったが 最近の子がそれを知ってる気がしないと思い直した >>514のスラドっぽいリリース紹介はなにを意図したもんなんだか わざわざ毎リリース紹介してくれなくてもいいんだぜ？ 518 名前：デフォルトの名無しさん mailto:sage [2016/01/23(土) 12:07:32.49 ID:GlCJ8Anu.net] スラド……? GNU screenって、ターミナル上で動くエディタはともかくテキストブラウザでも使わせる気か 519 名前：デフォルトの名無しさん mailto:sage [2016/01/23(土) 12:55:01.06 ID:k3yqR1GN.net] だから最近の子は使わないと思った 首も手もホームポジションから動かす必要なくて良いんだけどな 520 名前：デフォルトの名無しさん mailto:sage [2016/01/23(土) 16:37:28.48 ID:TWxXeAW8.net] スラドっぽいとか言い出すのはスラド脳なのだろうか。 521 名前：デフォルトの名無しさん mailto:sage [2016/01/23(土) 17:25:20.81 ID:GlCJ8Anu.net] えっと最近はscreenよりtmuxなんだっけ https://tmux.github.io/ 522 名前：デフォルトの名無しさん [2016/01/24(日) 03:15:01.30 ID:6zzJ2ABK.net] >>521 です。 523 名前：デフォルトの名無しさん mailto:sage [2016/01/24(日) 09:23:05.78 ID:sP2ua92H.net] ム板がみんなスラッシュドットジャパンを知ってると思うのは大きな間違い 524 名前：デフォルトの名無しさん mailto:sage [2016/01/24(日) 20:57:50.80 ID:STxspeQw.net] あの書き込みのどこがスラドっぽいのか分からない 日本語プログラミング系コミュニティは2chかスラドかみたいな人なのかな? 525 名前：デフォルトの名無しさん mailto:sage [2016/01/24(日) 20:59:27.48 ID:MrtO9MQc.net] スラドって大学教授が見てるイメージ 526 名前：デフォルトの名無しさん mailto:sage [2016/02/05(金) 13:54:26.47 ID:cvzC3wrO.net] 今更だが、スラドに食いつきまくりで皆知ってそうだと思った 527 名前：デフォルトの名無しさん mailto:sage [2016/02/10(水) 21:23:19.46 ID:Lqy2URw7.net] 英語版スラドの現状 https://www.reddit.com/r/rust/comments/449tcd/slashdot_rust_16_released/czomgoi 528 名前：デフォルトの名無しさん [2016/02/12(金) 23:49:15.56 ID:duitB1tZ.net] FFIを使って他言語からRustの可変長引数の関数を呼びたいのですが、どのように書けばいいのでしょうか？ 529 名前：デフォルトの名無しさん mailto:sage [2016/02/13(土) 08:36:52.61 ID:I59nNjTY.net] Rustに可変長引数の関数はないはずだが 530 名前：デフォルトの名無しさん mailto:sage [2016/02/13(土) 18:14:55.11 ID:tVuFpQtK.net] マクロの事やろなぁ 531 名前：526 [2016/02/13(土) 19:09:31.65 ID:ZWZaKmBv.net] 可変長引数の関数無いんですか… おとなしくCかC++使います… ありがとうございました。 532 名前：デフォルトの名無しさん mailto:sage [2016/02/13(土) 20:42:45.90 ID:tVuFpQtK.net] あなたが可変長引数関数と呼んでいるものは恐らく実在する 533 名前：デフォルトの名無しさん mailto:sage [2016/02/14(日) 01:39:23.29 ID:+Fbk6tbu.net] rust入門的なドキュメントください。 流石に一番最初から英語はきついので、、、 534 名前：デフォルトの名無しさん mailto:sage [2016/02/14(日) 02:29:50.02 ID:+Fbk6tbu.net] >>533 自己レスですがありました。 rust-lang-ja.github.io/the-rust-programming-language-ja/1.6/book/ 535 名前：デフォルトの名無しさん mailto:sage [2016/02/14(日) 18:55:36.94 ID:+Fbk6tbu.net] Rustを勉強するのにいい大きさのオープンソースなプロダクトってありますか？ Servoみたいなおおきい物じゃなくて手軽なものでおすすめなものとかないでしょうか？ 536 名前：510 mailto:sage [2016/02/14(日) 19:18:53.27 ID:ni3s66aP.net] >>534 良い情報ありがと 自分もこれから見てみることにします。 537 名前：デフォルトの名無しさん mailto:sage [2016/02/14(日) 22:27:31.27 ID:atofBh+O.net] https://github.com/uutils/coreutils これとかどうだろう 538 名前：デフォルトの名無しさん mailto:sage [2016/02/14(日) 23:39:03.18 ID:+Fbk6tbu.net] >>537 まさにこんな感じです。ありがとうございます。 linux互換OSがrustで書かれる可能性とかあるんですかね。 所有権が使いこなせれば、メモリリークは絶対起きないんですか？ だとしたらcより堅牢なOSがかける可能性もあるんでしょうか？ 539 名前：デフォルトの名無しさん mailto:sage [2016/02/15(月) 05:33:45.29 ID:W05/xALK.net] なんでRustは可変長引数に対応しないの？ マクロだと他言語から呼び出せないじゃん。 540 名前：デフォルトの名無しさん mailto:sage [2016/02/15(月) 09:03:58.07 ID:TrFbduW3.net] 何かスタック壊されそう(適当) 配列をぶちこむとか、他言語側で引数をパースするラッパーを書くとか 想定してる用途がわからんけど 541 名前：デフォルトの名無しさん mailto:sage [2016/02/16(火) 16:43:37.62 ID:6tNkwA+R.net] 可変長引数をサポートしてるって言語を見れば分かるけど、結局配列を渡してるだけってのがほとんどだよ。 ある意味foo!(v1, v2, v3) => foo(&[v1, v2, v3])みたいなマクロを備えているようなもんだと思う。 他の言語から呼ぶといっても、rust->C->他の言語って感じになるから、Cのstdarg.hに仕様を合わせるのもなあ。合わせたらno_stdじゃ使えなくなるだろうし。 自分には僅かなメリットとしか見えない一方、可変長引数を受け取って別の可変長引数関数に渡すときにどうする？っていう問題が出てくるから、 現状でええやんと思ってしまう。 >>538 RedoxというRustでOSを作るってプロジェクトはあるよ。どれくらい本気なのかは分からない。 あとRobigaliaっていうseL4上にRustで書いたプログラムを動かそう、そういう環境を作ろうというプロジェクトもある。 こっちは本当にできたばっかしなので本気度も展望も無いが。 542 名前：デフォルトの名無しさん mailto:sage [2016/02/16(火) 22:35:50.35 ID:zmpURjkn.net] printfみたいな奴なら、Rust側で書式データとポインタ配列(と要素数？)を引数に取れれば良いのでは 他言語側で可変長引数をポインタ配列にするラッパーを噛ませればそれっぽくなる気がする 実用性は知らない 543 名前：デフォルトの名無しさん mailto:sage [2016/02/17(水) 03:00:30.52 ID:JcT98VoE.net] impl Trait for Structより impl Struct by Traitかimpl Struct with Traitのほうが良かった 544 名前：デフォルトの名無しさん mailto:sage [2016/02/17(水) 07:12:06.10 ID:xwZAj62o.net] キーワードが増えるのが嫌がられそう 545 名前：デフォルトの名無しさん mailto:sage [2016/02/19(金) 11:22:15.41 ID:lRUD/4+H.net] 未だに box 表現って改変が議論中なのかよ。 546 名前：デフォルトの名無しさん mailto:sage [2016/03/22(火) 10:38:06.53 ID:bLb0KsFB.net] Android向けのrustコードビルドが通らなくなってて泣いた rustが悪いんじゃなく Android NDK のビルドツール更新が悪いんだろうけど、もっかい環境作り直すか、、、 547 名前：デフォルトの名無しさん mailto:sage [2016/03/22(火) 13:01:38.89 ID:rMJb+Szz.net] よくやりがちなんだけど、ttps://users.rust-lang.org/t/newbie-e0499-help-please/5001 みたいに あるデータを管理するような型、OOPとかで頻出のマネージャークラスをRustでやろうとするとselfを二度貸しすんなって怒られるよね。 ↑の例で言うとImageLibの所有権やref mutが必要無いのに要求するImageLib.load_imageが悪いって思いつくまでに結構かかる。 548 名前：デフォルトの名無しさん [2016/03/31(木) 19:12:30.43 ID:G0b7bqcg.net] Rust ←これ何て読むの？「ルスト」？「ルースト」？「ラスト」？ 549 名前：デフォルトの名無しさん mailto:sage [2016/03/31(木) 19:23:00.93 ID:JUFQTQot.net] ラスト。[rʌst] [rʌ] はラン run のラ。st はストリート street のスト。 550 名前：デフォルトの名無しさん mailto:sage [2016/03/31(木) 20:07:07.51 ID:G0b7bqcg.net] �d ラストって読むのか 551 名前：デフォルトの名無しさん [2016/04/15(金) 21:46:53.26 ID:PXsY1g2V.net] impl<M: Clone + 'static, T: Clone + 'static> expression::Expression<T> for SelectQuery<(T,), LimitOne, M> { } これのClone + 'staticってどういう意味なのでしょうか？ 552 名前：デフォルトの名無しさん mailto:sage [2016/04/16(土) 07:38:20.94 ID:NZYWg9ol.net] Cloneを実装していて、かつ寿命が'static 553 名前：549 [2016/04/16(土) 21:08:32.91 ID:SpsCGcWk.net] >>552 ありがとうございます！ 554 名前：デフォルトの名無しさん mailto:sage [2016/04/17(日) 06:25:09.22 ID:cLRJyW4r.net] println!("{0} = 0x{0:X}", val) みたいなことやりたいんだけどうまい方法ってないですかね なんか現状だと println!("{} = 0x{:X}", val, val) みたいなことするハメになって気持ち悪い 555 名前：デフォルトの名無しさん mailto:sage [2016/04/17(日) 10:58:01.58 ID:fLgoilFs.net] 自分でマクロ書く その気持ち悪さは人に依るので、自分好みを作った方が早そう 556 名前：デフォルトの名無しさん mailto:sage [2016/04/17(日) 14:05:41.70 ID:VY8v6naW.net] https://github.com/rust-lang/rust/issues/9456 557 名前：デフォルトの名無しさん mailto:sage [2016/04/17(日) 20:47:19.04 ID:6uoJvpYY.net] RustでLisp並みにマクロが簡単に作れたら嬉しい。 コンパイル時計算の手段がマクロとunstableなpluginしか無いので特に。 558 名前：デフォルトの名無しさん [2016/04/18(月) 05:41:14.17 ID:poa5Wxih.net] ライフタイムが理解できない…みなさんどうやって覚えました？ 559 名前：デフォルトの名無しさん mailto:sage [2016/04/18(月) 07:21:50.19 ID:DCvRqpmU.net] Rust by Exampleを見て理解した気がする 560 名前：デフォルトの名無しさん mailto:sage [2016/04/18(月) 12:47:52.65 ID:3Lsmx9th.net] windowsのrustで、現在時刻を取る方法ってある？ timeもclock_gettimeも使えなさそう。 もしや自分でFFIアクセスで書くしかない？ 561 名前：デフォルトの名無しさん mailto:sage [2016/04/18(月) 13:00:31.00 ID:RPQ9NKJO.net] lifetime parameterが出てくる箇所それぞれで、何を意味してるかを日本語で書いてみるといいよ。 例えば関数定義時のlifetimeだったら fn foo<'a>(x: &'a T) -> &'a T { .. } と3箇所で出てくる。 1. <'a> は、関数fooの中で'aというlifetime parameterを使うよ、というコンパイラに対する宣言 2. x: &'a Tは、引数xは、型Tの参照で、この参照の寿命を'aと呼ぶよ、という一種のバインド('a = lifetime(x)みたいな？) 3. -> &'a Tは、関数の戻り値の寿命は2で示したように、xと同じだよ、という誓約。 関数書く側は誓約3を満たすようにコードを書かなきゃいけないし、 関数呼ぶ側は誓約3が守られていることを期待して関数を使う。 562 名前：デフォルトの名無しさん mailto:sage [2016/04/18(月) 13:05:34.90 ID:RPQ9NKJO.net] >>560 crates.ioのtimeはwinapiにも依存してるからおそらくクロスプラットホームかと。 563 名前：556 [2016/04/18(月) 22:09:34.70 ID:poa5Wxih.net] >>559,559 ありがとうございます！ 精進します！ 564 名前：デフォルトの名無しさん mailto:sage [2016/04/18(月) 22:31:43.44 ID:U/aSeuNM.net] 全ての&は実は&'a　みたいなのを省略しているってのを意識するといいかも 565 名前：デフォルトの名無しさん mailto:sage [2016/04/18(月) 23:57:45.45 ID:IKRsVdN1.net] >>560 この間のrust1.8でstd::time::SystemTime::nowがstableになったのでUnix時刻が欲しいだけならこれでも良さそう。カレンダーとかタイムゾーンまでやるならcrateのtimeだろうけど。 566 名前：デフォルトの名無しさん mailto:sage [2016/04/19(火) 08:34:44.12 ID:SvHoNoSF.net] >>562 おぉ、ありがとうー。 まだrust始めたばかりで、cratesまで目がいってなかったわ。 >>565 あざっす。 そっちは使ってみたんだけど、期間計測向き(clockに近いか)だよね。 まさにカレンダー値が欲しかった。 567 名前：デフォルトの名無しさん mailto:sage [2016/04/19(火) 13:59:14.59 ID:SvHoNoSF.net] >>562 ありがとうー。 time::now()でバッチリだった。 568 名前：デフォルトの名無しさん mailto:sage [2016/04/19(火) 15:31:42.42 ID:ZFbfu4SE.net] Rustは標準ライブラリを必要最小限にする方針なので必ずチェックする こことかが纏まってていいかも https://github.com/kud1ing/awesome-rust/blob/master/README.md 569 名前：デフォルトの名無しさん mailto:sage [2016/04/20(水) 11:12:41.87 ID:XZ847tuS.net] 'あ'.is_alphabetic() => trueなのな。ウィキペディアのアルファベットの項の意味、らしい。 '。'とか'、'といった音にならない文字が非アルファベットで、他の発音する文字は全部アルファベットなのか。 日本じゃアルファベットと言えば[A-Za-z]だけど、他の(非欧米圏の)国では自国の表音文字もアルファベットと呼ぶのが一般的なのか？ 570 名前：デフォルトの名無しさん mailto:sage [2016/04/20(水) 15:31:46.87 ID:h2QcRVy8.net] alphabetは単に「表音文字」「基本的な構成要素」って意味だからな [A-Za-z]はラテン字(Latin alphabet)、あるいはローマ字(Roman alphabet) 571 名前：デフォルトの名無しさん mailto:sage [2016/04/20(水) 21:12:18.40 ID:pIEmO+zY.net] アルファベットって言葉も多義的だもんな。有限個の文字集合って意味の時もあるし。 572 名前：デフォルトの名無しさん mailto:sage [2016/04/22(金) 11:34:13.71 ID:vkMfBoHo.net] 逆に[A-Za-z]だけを判定したいときの関数ってビルトインじゃないの？ それ不便じゃない 573 名前：デフォルトの名無しさん mailto:sage [2016/04/22(金) 12:52:30.32 ID:UQ/RDeWl.net] is_alphabeticとstd::ascii::AsciiExt::is_asciiで判別可能。 fn is_abc(c: char) -> bool { c.is_alphabetic() && c.is_ascii() } もっと簡単にmatch c with { 'a' ... 'z' | 'A' ... 'Z' => { } } とすると応用も効いて楽。 574 名前：デフォルトの名無しさん [2016/04/25(月) 21:51:50.82 ID:ZO17CzTB.net] b"mysql" この「b」って関数（？）どうやって定義するんですか？ 575 名前：デフォルトの名無しさん mailto:sage [2016/04/25(月) 22:21:04.08 ID:J5O1W2lq.net] それリテラルでしょ。 Rust にユーザー定義リテラルは無かったと思うけど。 576 名前：572 [2016/04/25(月) 22:27:29.58 ID:ZO17CzTB.net] >>575 ありがとうございます！ 無いんですね…残念… 577 名前：デフォルトの名無しさん mailto:sage [2016/04/25(月) 22:32:56.21 ID:J5O1W2lq.net] ユーザー定義リテラルは C++ の仕事だね。 578 名前：デフォルトの名無しさん mailto:sage [2016/04/25(月) 23:07:48.87 ID:1QTyW0zP.net] Rustならマクロでなんとかすべきかな 579 名前：デフォルトの名無しさん mailto:sage [2016/04/26(火) 10:53:24.23 ID:W7yJO6It.net] なんでセミコロンが必要なんですか 580 名前：デフォルトの名無しさん mailto:sage [2016/04/26(火) 14:06:23.04 ID:XWVUSc0/.net] >>579 ";"を付けて、この式の値は使わない(unit型)だとプログラマが明示してやると色々便利だから。 ";"の有無でその式の値を返す(使う)かどうかをreturnを使わずに指定できる。 もしreturn文が必須ということになると、{}で一連の処理をブロック化して書くときにも"return 値"が必須になって、エラーのため大域脱出したいときに困る。 というのが建前。Algol系列で演算子のユーザー定義ができない文法だから、省略してもいいような箇所、例えばlet文の末尾とかあるとは思う。 元々OCamlで開発されてたせいで、MLの香りが随所に残っているという歴史的経緯と、 構文解析しやすいっていう本音と、先々の拡張に今のコードが耐えうる形にしたいのでは、という推測がある。 581 名前：デフォルトの名無しさん mailto:sage [2016/04/26(火) 14:16:05.00 ID:gziRJOQu.net] 個人的邪推が強いなw 公式サイトとQAにあるから、その通りに解釈しとけば幸せ 582 名前：デフォルトの名無しさん mailto:sage [2016/04/26(火) 20:04:42.44 ID:ORQVNS3H.net] if a > b {a} else {b}; // これより if a > b then a else b end # これがいい if a > b then a else b (* これがさらにいい *) 583 名前：デフォルトの名無しさん mailto:sage [2016/04/26(火) 22:47:31.69 ID:gziRJOQu.net] どの言語のことか分からんが、それなら三項演算子でいいんじゃね 省略を美徳と見るならthenとかelseはウザイわ rustの;や{}は別の観点を美徳としてると解釈してる 万人が好む美徳とは思ってないけど 584 名前：デフォルトの名無しさん mailto:sage [2016/04/26(火) 23:29:34.25 ID:XWVUSc0/.net] 1. Rust 2. Ruby 3. OCaml Rustは型注釈もML系からもっと輸入すべきだったと思う。 fn foo<T, U>(x: T) -> U より、fn foo: 'T -> 'Uとか fn foo:: T, U => T->Uとかの方が見やすい。 lifetime parameterをどう書くかを考慮する必要はあるけど、 型注釈と変数が一緒になってるより良いと思う。 585 名前：デフォルトの名無しさん mailto:sage [2016/04/27(水) 00:10:16.86 ID:HJXKmY0b.net] そこまでML文法好きならML言語のコンパイラ強化を推進してはどうか 俺はC++やJavaライクで今の文法の方が分かりやすいぞ 586 名前：デフォルトの名無しさん mailto:sage [2016/04/27(水) 00:58:25.51 ID:KaqBk466.net] Rustの名前の由来は錆ではなくサビキン(錆菌)という噂を聞いた 587 名前：デフォルトの名無しさん mailto:sage [2016/04/28(木) 21:19:35.52 ID:nQ0T9aCz.net] rust使ってる人って何作ってるの？ ブラウザ以外で。 golangはWebAPIサーバ コマンドラインアプリ swiftはiosアプリ kotlinはandroid ってすみ分けができてるけどrustの得意分野はどこ？ OS? 588 名前：デフォルトの名無しさん mailto:sage [2016/04/28(木) 22:13:38.50 ID:oaLnAHx1.net] RustでOS作ってるしエディタも作ってるのを見つけた Rustは単純にC++の代替でしょ 589 名前：デフォルトの名無しさん mailto:sage [2016/04/28(木) 22:16:41.12 ID:Q0S16tI3.net] コアなライブラリ作るのに適してる UIやスレッド持つレイヤーまで上がるなら他言語の方が取り回し良いと思う 590 名前：デフォルトの名無しさん mailto:sage [2016/04/29(金) 00:02:47.40 ID:NuB51tNS.net] 今までc/c++で作っていた分野の、特に並列性のあるプログラムの置き換えに適している、と思う。 ゼロコスト原則と、言語レベルでの並列性サポートが強力、と思う。 591 名前：デフォルトの名無しさん mailto:sage [2016/04/29(金) 01:42:14.94 ID:Ew5+6UlM.net] crates.io見る限りだと、フレームワークの更に下の部分作ってる人が多いイメージ 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