Rust part15

1 名前：デフォルトの名無しさん mailto:sage [2022/05/12(木) 18:28:20.99 ID:cuIcFT6k.net] 公式 https://www.rust-lang.org/ https://blog.rust-lang.org/ https://github.com/rust-lang/rust Web上の実行環境 https://play.rust-lang.org 日本語の情報 https://rust-jp.rs/ ※Rustを学びたい人はまず最初に公式のThe Bookを読むこと https://doc.rust-lang.org/book/ ※Rustを学ぶ際に犯しがちな12の過ち https://dystroy.org/blog/how-not-to-learn-rust ※Rustのasyncについて知りたければ「async-book」は必読 https://rust-lang.github.io/async-book/ ※C++との比較は専用スレへ C++ vs Rust https://mevius.5ch.net/test/read.cgi/tech/1619219089/ ※次スレは原則>>980が立てること 前スレ Rust part14 https://mevius.5ch.net/test/read.cgi/tech/1644596656/ 656 名前：デフォルトの名無しさん mailto:sage [2022/06/13(月) 20:37:53.20 ID:oVc0GyRX.net] >>643 あれ外部ライブラリか しかし乱数系の標準ライブラリってまだRustにないのか やぱ若い言語だなRust 657 名前：デフォルトの名無しさん mailto:sage [2022/06/13(月) 20:43:42.90 ID:cs6TlBtz.net] >>645 若いというか意図的に標準ライブラリから外してあるよ 理由は標準入りしてしまうと破壊的変更ができなくなって腐るから だから将来的にも標準に入る予定はないと思う 658 名前：デフォルトの名無しさん mailto:sage [2022/06/13(月) 20:52:20.46 ID:oVc0GyRX.net] >>646 意図的に外してるの？ ふーん、それはそれで面白い 659 名前：デフォルトの名無しさん mailto:sage [2022/06/13(月) 23:01:34.06 ID:JmWkv6oB.net] >理由は標準入りしてしまうと破壊的変更ができなくなって腐るから なんという本末転倒感 660 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 00:25:58.88 ID:DOq4xEj+.net] 基本的にRustはシンプルに最小限の言語構成部分しか標準ライブラリに持たない方針 つまり各プログラミング言語毎に標準ライブラリの意味合いや範囲が異なるのと同じ だから乱数でも正規表現でも何でもRustでは外部クレートに存在する 非同期だって基本構成部分のasync/await/Futureは言語として持つけど 非同期ランタイムや非同期ライブラリは外部クレート 661 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 00:42:56.77 ID:OVbm/pyy.net] OptionやResultの便利メソッドはどんどん追加されてるし別に標準ライブラリを最小限のものにしようとはしてないでしょ 662 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 00:49:05.73 ID:o3U2MVOf.net] >>649 >最小限の言語構成部分しか標準ライブラリに持たない方針 俺もそんな方針だと思う これが良いのかどうかは分んが。 標準ライブラリだとコンパイラ屋がコンパイラを出す限りサポート・メンテされるのが 他の言語では標準ライブラリなのが外部クレートだと、将来これをメンテする奴がいないになって 放置になり困ったになる可能性あるからな。 663 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 01:01:42.50 ID:DOq4xEj+.net] >>650 それは最小限の意味合いの受け取り方が違っているだけで同じ Option/ResultはRustにとって言語構成部分 そしてそのメソッドは強いて言えば多彩な制御構文にも相当する だからRustの最小限の標準ライブラリに含まれているし必要性が認識されればメソッドも増える 664 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 01:15:57.14 ID:DOq4xEj+.net] >>651 それは「サポートする人がいなくなればサポートされなくなる」という当たり前のことでRustとは別の一般的な話 どんな製品でも、どんなライブラリでも、どんな言語でも、同じ そして基本構成部分を含むRust本体の改善＆メンテと、それ以外のライブラリのそれとは明らかに別の話たから切り離されているのも自然 665 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 01:33:47.46 ID:Sv0LbY5c.net] 同じではあるがcargoの性質で余計に面倒な状態になってる。 この辺が低レイヤー向けと相性が悪い部分だな。 666 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 02:16:38.57 ID:DOq4xEj+.net] >>654 低レイヤー向けのプログラミングをRustでしていて相性の悪さで困ったことはないが具体的に何だろう？ 667 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 02:19:17.55 ID:0h5AdYzJ.net] 聞きかじりだけどクロスコンパイルとかやりたかったらxargo使うもんなんじゃないの 668 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 02:25:36.70 ID:RiQN/QJO.net] 同梱されるライブラリが巨大な言語で とんでもないクソ仕様が最初に入ってしまうとか メンテナがいなくなったけど互換性維持で簡単に削除できないとか 色々あるからなあ 669 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 02:36:05 ID:OVbm/pyy.net] >>652 確かにOptionやResultそのものは言語機能にも関わってくる基本的な構成要素だけど、 OptionやResultの便利メソッドは外部crateでも定義できるよね また、HashMapやBTreeMapなどは "言語" の構成要素ではないし、 最近ではonce_cellという外部crateで実現できていたものをstdに取り込もうとしている "言語" を構成する最小限の要素に絞るのであれば、これらは外部crateで実現すればよくて標準ライブラリに入れなくても良いはずだよね おそらく、標準ライブラリに取り込むものは厳選してコンパクトさを保つことを前提に、 広く使われていてAPIが安定しているものは取り込んでいくというスタンスなんだと思うよ 670 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 02:42:44 ID:OVbm/pyy.net] あー、rustで書かれたプログラム全体の中でのデファクトスタンダードとかお作法とかも含めて言語って言っているのかな そうなのであれば特に異論ないです 671 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 02:45:28 ID:xoZMylRu.net] マンパワーが足りないから選択と集中で切り捨ててるだけ 利用者がそれを受け入れてるのは切り捨てた部分をコミュニティで支援するからコア機能の開発に力を注げってこと 672 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 02:53:05 ID:R/3cLRA4.net] >>657 iostreamのことかああああ！！ 673 名前：デフォルトの名無しさん mailto:sage [2022/06/14(火) 03:08:52 ID:aUgYAX3K.net] >>661 アレをRustに取り入れようという動きはないのかな？ 674 名前：デフォルトの名無しさん [2022/06/14(火) 18:56:17.12 ID:HX1wvnNi.net] >>648 利便性ではなく一貫性で標準を決めているってことだろ 675 名前：デフォルトの名無しさん mailto:sage [2022/06/15(水) 14:46:59.83 ID:LjsAAUyE.net] >>658 Rustの利点はOption, Resultがmatchなどの構文で評価できる事、演算子もあるが演算子オーバーロードができる言語であれば同様のことができてしまうがC++23とか26とかで提案されていたinspectはmatchそのもの 676 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 15:29:08.46 ID:13+3Y2cU.net] Rustの活用でElectronよりも軽くて速いアプリフレームワーク「Tauri」が安定版に まずはデスクトップから。モバイル・Webへの対応も進行中 https://forest.watch.impress.co.jp/docs/news/1417148.html 677 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 16:07:33.42 ID:Ry+36K98.net] TauriとYewで純正Rustデスクトップアプリ開発か、 あるいはTauriとVue.jsでフロントエンドのみJavascriptでデスクトップアプリ開発か、 678 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 16:51:56.72 ID:TPrqrDPX.net] Tauri + Vite + Vue 3 + Vuetify 3でデスクトップアプリ開発オラァ！！！ 679 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 19:39:52.77 ID:3W1WJ+ID.net] そういやAtom開発者がRustで書き直した究極のエディター「Zed」はどうなったんや。 https://forest.watch.impress.co.jp/docs/serial/yajiuma/1374/986/amp.index.html 680 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 19:54:27.31 ID:hIo52KfN.net] >>665 PC Watchが報じるほどのニュースか、これ？ 681 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 20:36:05.07 ID:qYRKaF3V.net] >>668 >>UIフレームワークには、GPUを活用した新設計のものを用意。このフレームワークは「GPUI」と呼ばれている。 これがどうなるかだな 682 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 20:52:57.67 ID:rVOBJfNW.net] フレームワークおじさんきちゃったか 683 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 21:28:18 ID:5USgn4My.net] rust製フレームワークの話なら歓迎、jsは該当スレでよろ 684 名前：デフォルトの名無しさん mailto:sage [2022/06/16(木) 22:27:59.11 ID:/ddt6fDk.net] >>670 俺的にはそれなんかバックにC/C＋＋のVulkan系を用いたものって気がするんだよな 685 名前：デフォルトの名無しさん mailto:sage [2022/06/17(金) 01:45:23.89 ID:mZKsuJMX.net] rustでgpuなんか使い始めたらライブラリぶっ壊れまくるぞ 686 名前：デフォルトの名無しさん mailto:sage [2022/06/17(金) 08:27:34.98 ID:8YmvneAf.net] ？ 687 名前：デフォルトの名無しさん mailto:sage [2022/06/17(金) 15:39:33.09 ID:NH7eG327.net] 俺も今日からラスタシアンだからよろしくな シャドーイングいいねアンダースコアで区切った同じような名前の変数が同一スコープ内に増え続けるのが嫌でイライラしてたらからこの仕様はめちゃ好き 688 名前：デフォルトの名無しさん mailto:sage [2022/06/17(金) 17:57:54.34 ID:gT1dTx1o.net] >>676 カタカタで書くとラステイシャ� 689 名前：唐ｩラステイションだからよろしくな [] [ここ壊れてます] 690 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 06:02:27.98 ID:ib599DIL.net] 全然関係無いんだけど 最近の言語って使ってる人達に名前つけるじゃん パイソニスタとかPHPerみたいな CとかC++にもあるのかなー？とか考えてた時に思い出したんだけど Pythonでモヒカンとか言ってる人達いるじゃん アレの語源は何なの？ 691 名前：はちみつ餃子 mailto:sage [2022/06/18(土) 11:43:40.01 ID:vGEU23LW.net] >>678 Python 関連の用語としては知らんけど、これのこと？ https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%92%E3%82%AB%E3%83%B3%E6%97%8F_(%E3%83%8D%E3%83%83%E3%83%88%E7%94%A8%E8%AA%9E) 692 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 11:52:07.94 ID:quioMmSC.net] モヒカン族とか、一部の人間が使ってるだけでネットではろくに聞かない言葉だね 693 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 12:19:14.82 ID:ib599DIL.net] >>679 どうもありがとう ネットスラングだったのか でもPython界隈以外で聞いたことないや 694 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 12:29:31.13 ID:XkkeHcIr.net] 俺は本場海外の用語以外は一切使わない陰キャチー牛の日本人が勝手な造語の和製英語とかクソダサいからな 695 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 12:41:40.55 ID:rUpNWN/L.net] 2005～2010頃の技術コミュニティではよく聞いたけど 最近はアンチハラスメントポリシーに抵触するから使われなくなった 696 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 13:28:43.26 ID:n5ZvcUIJ.net] Rust サビちゃん Python ヘビちゃん 697 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 13:35:45.47 ID:n5ZvcUIJ.net] サビちゃんでもありヘビちゃんでもありヘジたんでもあり職場では犬たん++ 698 名前：はちみつ餃子 mailto:sage [2022/06/18(土) 13:37:07.64 ID:vGEU23LW.net] >>678 C 使いや C++ 使いのことは Cer とか C++er と書いたりすることはあるが、どう読むべきなのかわからぬ……。 699 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 13:42:03.39 ID:n5ZvcUIJ.net] >>686 社畜 700 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 13:48:09.17 ID:n5ZvcUIJ.net] この世の中あまたの言語があるのになぜCやC++でコード書くかと言えば仕事だから 701 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 14:09:02.52 ID:XkkeHcIr.net] 普段仕事でC++使わない俺からするとRustめちゃくちゃわかりやすくて触ってて楽しい 特に配列やコレクションの扱い易さが段違いだわ 702 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 14:30:49 ID:n5ZvcUIJ.net] >>689 まあ他の言語触ると扱いやすくて気絶するから触るな 703 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 14:57:08.56 ID:iczP/r4h.net] ※お話の途中ですが蟹が通ります 　　 　　　,､＿,､　　　　　 　三　 ( ´･ω･｀)　 　　三　/ヽ 　/ヽ　　　　　　　 (V)　　(V)　 　　三ノ ￣ ゝ　　　　　　三 ミ (´･ω･｀) ミ 　　　　　ﾀﾀﾀｯ　　　　　　　　　　　　　　　　　ｻｻｻｯ 704 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 15:02:32.97 ID:hqbe2tQH.net] そのカニもらって食べちゃうね 705 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 15:34:56.20 ID:XkkeHcIr.net] 命名規則のガイドラインがスネークケースなのがC/C++に配慮した結果なのかなぁって気がするけどまぁ慣れの問題だから文句ないよ 706 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 19:21:06.68 ID:M9fy3K3m.net] 公式ドキュメントにRustは式指向言語ですってあるんだが式指向とはなんぞや？ 707 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 19:25:35.79 ID:1ZLmOyHM.net] 制御構文が文じゃなくて式になってて値を返すという意味かと 708 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 19:54:48.42 ID:vxK0JF3c.net] 終端にセミコロンつけたら式じゃなく文になっちゃうとか独特だよね fn five() -> i32 { 5 }とかfn five() -> i32 { 5 };って書けた方が違和感ない気がするんだけどね 709 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 20:32:50.72 ID:aTjkq+5e.net] Rustはラムダ引数の型推論が多くの他の言語とは異なって機能するんだよ 710 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 21:11:11.71 ID:6CHzGsUP.net] 最近、ゲームのRustが人気過ぎて検索に支障が出てる 711 名前：デフォルトの名無しさん mailto:sage [2022/06/18(土) 22:17:14.37 ID:ZZmk5y2Z.net] >>694 日本語訳は公式じゃないから 今はもう公式では式指向(expression oriented)という言葉は使われてない 式指向言語の意味を知りたければwikiでもどうぞ https://en.wikipedia.org/wiki/Expression-oriented_programming_language 712 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 00:35:13.44 ID:HLAvlKQn.net] VTuberやストリーマーの間で人気を博しているサバイバルゲーム「RUST」とは？ https://www.moguravr.com/vtuber-rust/ 713 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 01:08:17.73 ID:WtnMKA9r.net] Goを見習って、Rustlangで検索してくださいね 714 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 05:08:01.71 ID:UsMsALi7.net] rust lang OR 言語 -go 715 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 07:36:52.36 ID:kKndzz48.net] Rustではboolを論理値と訳してるけど言語ごとに揺らぎがあるのはなんでだろうね 個人的に真偽値を使ってるけど真理値って解釈もあるしこれも定義は別で厳密には違うけどRustとしては解釈は同じで違いはないってことなのかな 716 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 08:12:44 ID:Nk1h87ob.net] 作った人が違うんだから揺らぎがあるのは当然だろ 717 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 09:35:04.20 ID:pSFkutGr.net] 作った人というより訳した人の違い Rustの日本語書籍でも統一されてるわけじゃない 論理値はもともとlogical valuesの訳語 >Rustではboolを論理値と訳してるけど 正しくは「The Bookの日本語訳ではBooleanを論理値と訳してるところがあるけど」 718 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 09:50:34.90 ID:KbscZGS+.net] 手元のRust本見てみたけど真偽値も真理値もあるね 個人的には真偽値かな 719 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 10:18:36.03 ID:MGBoiv+i.net] 型は論理型と言いたくなる。真偽値型ってのもたまに聞くけど。 720 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 10:32:50.28 ID:YciZ0/bi.net] ブール型でええやん 721 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 11:02:28.95 ID:McUuM60V.net] the bookの日本語訳は翻訳の質が低いしアップデートもされてないからrustを本気で勉強したい人は読まない方がいいと思う 722 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 11:11:00.25 ID:KAsrUTco.net] https://jp.mathworks.com/help/matlab/logical-operations.html > logical データ型を使用して boolean データを表現します matlabではlogicalってデータ型があって中身は0か1 false, trueも結局はlogicalの0と1でしかない https://doc.rust-lang.org/std/primitive.bool.html > The bool represents a value, which could only be either true or false. > If you cast a bool into an integer, true will be 1 and false will be 0. 一方rustではtrueもfalseも依然としてboolのまま 723 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 11:23:29.55 ID:2cctUuao.net] ブール値のブールの意味を知らん人が多いのかもしれない ブール値より真偽値型がいいな 724 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 11:33:06.55 ID:YciZ0/bi.net] boolの意味なんか一般アメリカ人も知らんだろ 725 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 12:03:30.22 ID:dg+pb++y.net] >>710 値の呼び名の話と、内部表現の話と、castせず別の型の値として利用可能かどうかという3つの異なる話を混同してる 726 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 13:11:53.53 ID:61bWOpc5.net] ワットとかアンペアの語源を知ってるかって話？ 727 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 13:14:46.84 ID:vUT9u2r3.net] Rustを含めたほとんどの言語で logical or/and/notと呼び まとめてlogical operatorと言い 日本語で論理演算子と称するから その対象となるbool値も論理値と訳すことが多く賛同だが 訳さずbool型とbool値のままが曖昧さがなくよいのではないか もちろん文字列型も訳さない方がよい 728 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 13:33:48.08 ID:vE0AzMds.net] おまえらってほんとう用語の定義とかそういう話になると生き生きしよるな あと「許可されないなんちゃら」みたいな法律家談義みたいな話 729 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 13:35:46.28 ID:Nk1h87ob.net] >>714 自分の呼び方が正しいんだー っていうキチ同士の争い 730 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 14:12:32.07 ID:T+HLe5Kk.net] >>714 ジュールとかニュートンのほうが先に頭に浮かんだ >>716 とはいえ「所有権の複製」は見過ごせないって 731 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 14:17:42.75 ID:kKndzz48.net] これはプログラミングに限定した話ではなく他のカテゴリでも用語を英語に統一すべきだと思うんだよな 世界の大学ランキングで日本の大学が少ないのは教科書や専門書が英語の国が対象だから教科書や専門書が日本語で学習できる日本はレベル高くて母国語ではなく英語でしか学べない他の国がレベル低い土人国家だと言ってるやつがいるけど逆じゃねーの？って思う 732 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 14:55:53.98 ID:8/kH/R2d.net] 自転車置き場の議論 733 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 15:31:58.19 ID:N+aRTDUf.net] >>719 英語じゃなくてラテン語を 734 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 17:52:40.64 ID:fArfwr+a.net] >>719 はぁ？ 何を甘っちょろいこと言ってんだ。 日本語を押し付けていく気概もなしに学問をリードできるかいな。 735 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 18:18:54.31 ID:lfAX8IzG.net] >>722 日本語だけは絶対にイヤ Rubyも英語だったろ？英語でいいんだよ 736 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 18:25:22.30 ID:ZgRIQXP3.net] >>723 なぜRuby? 737 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 19:22:19.06 ID:xSCrTfK1.net] 高階関数の解説を読むたびに出てくるカリー化がそれオーバーロードでよくね？って思うんだが誰か納得感ある説明頼む 738 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 19:29:05.73 ID:YciZ0/bi.net] >>725 カリー化は、ElmとかF#みたいなパイプライン演算子を多用する言語じゃないとありがたみを感じない 739 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 19:43:10.79 ID:Iqvgk6im.net] なんとRustには関数オーバーロードが存在しないのだ！ だからトレイトでクソ面倒臭い実装でむにゃむにゃしないと実現できない！ でもそんなことして何が嬉しいのかわからない！ Rustは可変長引数もないしC++と比較してまだまだ機能的にはぜんぜん追いついてないよ 740 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 19:47:20.02 ID:WtnMKA9r.net] そうですね あなたはRustではなくC++を使い続けてください 741 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 20:02:56.72 ID:61bWOpc5.net] カリー化ってオーバーロードで代替できるのか？ 742 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 21:29:31.34 ID:10dVJy7y.net] // 引数2つの関数 (例としてたまたま足し算) let add_x_y = |x, y| x + y; assert_eq!(5, add_x_y(2, 3)); // 引数1つの関数をそこから作り出す (カリー化) let add_x = |x| move |y| add_x_y(x, y); // 段階適用 let add_2 = add_x(2); assert_eq!(5, add_2(3)); // 一気適用 assert_eq!(5, add_x(2)(3)); 743 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 22:04:00.15 ID:gGrS7GAs.net] >>725 関数を書くたびにカリー化のためのオーバーロード書いていくのは面倒くさすぎるでしょ 744 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 22:26:44.97 ID:fArfwr+a.net] カリー化なあ…… rust だとライフタイムの管理がちょっと複� 745 名前：Gになると手におえんだろ 理屈はともかくとして、普通のプログラマにとっては割に合わない [] [ここ壊れてます] 746 名前：デフォルトの名無しさん mailto:sage [2022/06/19(日) 22:32:20.86 ID:8/kH/R2d.net] https://ja.cppreference.com/w/cpp/language/overload_resolution これを少しでも理解しようとしたことがあるなら、RustにC++並の無制約なオーバーロードが欲しいとは思わないだろうよ 747 名前：デフォルトの名無しさん [2022/06/20(月) 06:57:08.63 ID:E2oosySA.net] 安直に引数個分のダミーパラメータを与えるカリー化マクロcurry!を用意してみた macro_rules! curry ( ($func_name:path, $first_arg:ident $(, $arg:ident )*) => { |$first_arg| $(move |$arg|)* $func_name($first_arg $(, $arg)*) }; ); 引数が2つの例 let add = |x, y| x + y; let curry_add = curry!(add, a, b); assert_eq!(curry_add(1)(2), add(1, 2)); 引数が5つの例 let func = |p, q, r, s, t| p + q * r - s / t; let curry_func = curry!(func, a, b, c, d, e); assert_eq!(curry_func(5)(4)(3)(2)(1), func(5, 4, 3, 2, 1)); 標準ライブラリの文字列replace関数をカリー化 let curry_str_replace = curry!(str::replace, src, old, new); assert_eq!(curry_str_replace("abcdefg")("cde")("CDE"), "abCDEfg"); let 自己紹介 = curry_str_replace("私の名前は_NAME_です")("_NAME_"); assert_eq!(自己紹介("名無し"), "私の名前は名無しです"); 意外にそこそこ使えた 748 名前：デフォルトの名無しさん mailto:sage [2022/06/20(月) 07:08:36.46 ID:10Lmd2dP.net] >>733 rustを作る側からしたら嫌かもしれんけど、使う側からしたら有ったほうがいいんじゃない？ まぁ、俺がオーバーロードがある環境に慣れちゃってるからかもしれんけど 749 名前：デフォルトの名無しさん mailto:sage [2022/06/20(月) 07:31:28.70 ID:iAqd5FsI.net] シャドーイングは許容できて関数のオーバーロードが許容できない理由ってなんだろう 750 名前：デフォルトの名無しさん [2022/06/20(月) 07:34:05.79 ID:E2oosySA.net] >>735 クロージャ多用のRustでオーバーロードってどうするの？ 例えば>>734に挙げた例でカリー化を同名でオーバーロードにする場合 let add = |x, y| x + y; let add = curry!(add, a, b); // = |a| move |b| a + b; assert_eq!(add(1)(2), add(1, 2)); この引数の数が異なる二つのaddの存在をオーバーロード� 751 名前：ﾆして許すの？ オーバーロードのある言語ではこの問題をどう解決しているのだろう [] [ここ壊れてます] 752 名前：デフォルトの名無しさん [2022/06/20(月) 07:44:20.63 ID:E2oosySA.net] >>736 シャドーイングは同時に存在できるのが一つだけで曖昧さがなくプログラミングにおいてプラス効果 オーバーロードは同時に異なるものが存在できるため可読性を下げたりミスを起こす機会を生じさせてマイナス効果 753 名前：デフォルトの名無しさん mailto:sage [2022/06/20(月) 10:29:58.07 ID:anfwvwwH.net] >>735 読む時にはどのオーバーロードが呼ばれるのかを確認するのが面倒 RustだとT, &T, &mut T違いもあるから他の言語よりもさらに面倒 メリットよりデメリットのほうが大きいと感じる人が多いんじゃないかな デフォルト引数/オプション引数/キーワード引数はいずれ導入して欲しい 乱用されるとAPIが汚くなるがオーバーロードほどのデメリットはないと思ってる 754 名前：デフォルトの名無しさん [2022/06/20(月) 10:47:53.81 ID:1agQsnkM.net] 真理値なんてどんなアホが訳してんだ 755 名前：デフォルトの名無しさん mailto:sage [2022/06/20(月) 11:11:29.76 ID:G0GSIi1k.net] 元の英語から違うので訳の問題ではありません (truth value) 756 名前：デフォルトの名無しさん mailto:sage [2022/06/20(月) 11:17:59.13 ID:c9A58FBc.net] logical values 論理値 truth values 真理値 true or false values 真偽値 Boolean values ブール値 ブール値じゃ分かりにくいと仮定して論理値、真理値、真偽値のどれを選ぶかってこと the book日本語訳の人はRustの文脈での分かりやすさよりも土台となってる分野で広く使われてる訳語がいいと判断することが多い印象

---

---

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

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