次世代言語25 TypeScript Swift Go Kotlin Rust Nim

1 名前：デフォルトの名無しさん [2022/04/17(日) 17:52:35.38 ID:KG26dcth.net] スレタイ（順番はRedMonk準拠）以外の言語もok 前スレ 次世代言語24 Go Nim Rust Swift Kotlin TypeScript https://mevius.5ch.net/test/read.cgi/tech/1647887021/ 229 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 00:34:27.96 ID:LqFJ2u6k.net] どうしてDって今のgoやrustみたいにならなかったの？ 230 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 00:35:54.45 ID:dSrWC4pO.net] DのUFCSもメンバ関数やネスト関数などには適用できない制限がある 231 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 00:39:26.69 ID:cR9N6Lw+.net] UFCSなんかなくても最初の引数の型に対してメソッド定義するだけで目的達成可能 グローバル名関数を増やして名前空間を汚さずともその型のメソッド定義がベター 232 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 00:47:38.84 ID:pTvSoM83.net] >>225 GoやRustはclassなんか無くても各型に対してメソッドを定義できるのでそういうことを招かずに済むのよ UFCSのメリットはメソッドチェーン記法が可能になることだから最初からメソッドを定義すればいいものね 233 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 00:55:00.32 ID:sDr1xuuT.net] >>229 structかenumは定義する必要あるじゃん tsのtypeがどういうものか分かったうえでレスしてる？ 234 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 00:58:26.21 ID:loxtuGTD.net] >>230 structやenumは単なるtypeだよ C言語でもstructと(enumの代わりにタグ無しの)unionがあるよね(ただしメソッド定義はできないけど) 235 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 01:21:04.73 ID:W8ZZnspt.net] Nim言語にもUFCSがあって関数だけじゃなくtemplateやmacroも関数と同じ 236 名前：文法で呼び出せるのでUFCSが使える。ただし第一引数がuntypedだとmethod call syntaxが使えない。 UFCSのメリットは標準ライブラリとか他人の書いたコードにある型とプロシージャの組に対してもmethod call syntaxが使えることだと思う。 第一引数が組み込み型のプロシージャを定義すれば組み込み型に対してmethod call syntaxが使える。 ライブラリAで定義されている型Xのオブジェクトに対してまったく別に書かれたライブラリBで定義されているgenericsなプロシージャをmethod call syntaxで呼ぶ出すことができる。 [] [ここ壊れてます] 237 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 01:28:09.79 ID:5Adpat0k.net] >>230 structやenum以外でもOK 任意の型にメソッドを定義可能 238 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 01:31:48.98 ID:W8ZZnspt.net] >>228 オーバーロードがある言語なら引数が一つ以上あるグローバル関数を追加しても引数さえ異なれば同名の関数をグローバルに追加できる。 UFCSとオーバーロードがある言語では第一引数がFoo型の関数を定義するのはFoo型にメソッドを定義することとほぼ同じとみなせる。 239 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 01:35:52.92 ID:V8fkjI23.net] つまりUFCSは汚染でありリスク要因 定義していないメソッドが使えることになってしまう UFCSがなくとも明確にその型に対して定義されたメソッドのみ対象で実用上困ることはない 240 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 01:46:11.22 ID:GF+5hMbb.net] モジュールがあるなら関数のimport有無でどの関数が呼び出されるか制御できたりしないの？ Rustのtraitのuseみたいに 241 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 01:55:33.57 ID:W8ZZnspt.net] >>235 UFCSのあるNim言語をよく使っているけど特に問題無く使えてるよ。 ライブラリAで定義された型を第一引数に持つ関数をライブラリAの外で定義してもgenerics/template/macroなど使わない限りライブラリAから呼び出せないし、ライブラリA内で使われている関数を外から勝手に上書きできない。 メソッド呼び出ししているように見えてもライブラリA内のプライベートな変数/関数はライブラリの外からアクセスできない。 method call syntaxってa.fooMethod(b)って書いてあるのを コンパイラがfooMethod(a, b)という関数呼び出しとして解釈しているだけでなんのリスクもないよ。 第一引数にFoo型のオブジェクトをとる関数を定義してもオーバーロードがあるのでFoo型を使わない人には何の影響も与えない 242 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 02:05:19.36 ID:B7syBDSL.net] D言語のプロジェクト見て半笑いになるのやめてさしあげろ 243 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 02:06:16.28 ID:W8ZZnspt.net] >>236 Nim言語だとimportするときにfrom std/strutils import `%`みたいに特定の型/関数だけをインポートすることができるよ。 もし同じ名前で同じ引数の関数が複数定義されている場合は関数名の前に"モジュルー名."をつけないとコンパイルエラーになる。 244 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 02:34:25 ID:z8DQnMuR.net] 結局UFCSは不要だよな メソッド的に使いたいならば最初からその型にメソッドを生やせばよいだけ 必要ならばジェネリックに定義すれば複数の型に同時にメソッドを生やせる わざわざグローバル関数にしておいてからメソッド的に使えます！とかメリットを一切感じない 245 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 02:47:04 ID:W8ZZnspt.net] >>240 標準ライブラリにある型とか他人のgithubリポジトリにあるライブラリにも自由にメソッド追加できるの？ ジェネリックにする必要が無いときでもジェネリックにしないとメソッドはやせないの？ Nim言語にはそもそもC++のメンバ関数みたいなのが無くて、第一引数がFoo型の関数がFoo型のメソッドの代わりみたいになっている。 246 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 03:05:01.71 ID:hhhqUz2p.net] >>241 ジェネリックである必要なし もちろん同じ機能を複数の型に適用ならジェネリックで1回で済むのが普通 247 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 03:21:57.26 ID:FFLrto9L.net] >>241 うん 標準ライブラリや第三者ライブラリにある型にもメソッドを増やすことができるよ だからUFCSが無くても困らないよ 248 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 04:39:58.47 ID:W8ZZnspt.net] UFCSがあれば引数が一個以上持つ関数であればa.f(b)ともf(a, b)とも書ける。 a.f(b)とf(a, b)の両方で書きたい場合があったらどうするの? UFCSがなければa.f(b)で呼べるメソッドがあるときジェネリックな関数の中でf(a, b)の形式で呼ばれていたら、わざわざ新しくa.f(b)を中で呼ぶf(a, b)を定義しないといけない。 逆にf(a, b)な関数があったときに新しくメソッドを定義しなくてもa.f(b)と書ける。 それとNimだとcommand invocation syntaxがってf a, bという文法でも関数を呼べる。括弧がないので引数が複雑な式にならなければ書きやすくて読みやすいよ。 249 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 05:29:11.29 ID:d+UJIvmE.net] >>244 Rustでも可能 例えばu64型のxに対して xのn乗はu64::pow(x, n)という関数が標準であるけど これはx.pow(n)と呼び出すことができる 250 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 08:12:23.26 ID:7gaqSdm4.net] >>225 js/tsなら言語仕様拡張せんでも関数合成だろう。 251 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 08:55:43.85 ID:VjXpH6fC.net] >>231 >>233 tsではどうやるの？ 252 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 11:59:33.54 ID:QEeStXPn.net] >>241 既存の型にもメソッド追加できるよ 例えばJavaScriptならこんな感じ // 文字列にhello()を追加 String.prototype.hello = function() { console.log(`Hello ${this}!`); }; // 数値にhello()を追加 Number.prototype.hello = function() { console.log(`Hello ${this}!`); }; "abc".hello(); // 123.hello(); // 文法エラー let num = 123; num.hello(); 253 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 12:16:38.60 ID:VSqj5wTk.net] Rustではジェネリックにメソッド追加することも可能 // メソッドhello()を持つトレイトHelloを宣言 trait Hello { fn hello(&self); } use std::fmt::Display; // 表示可能トレイトDisplayを満たす全ての型に対してhello()を実装 impl<T: Display> Hello for T { fn hello(&self) { println!("Hello {self}!"); } } fn main() { "abc".hello(); 123.hello(); } 254 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 12:41:05.03 ID:GF+5hMbb.net] 既存の型へのメソッド追加はプロトタイプ汚染とか言われて忌避されてるよね 他モジュールへの影響の出ない形でメソッド追加する手法が望ましい 255 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 12:53:37.30 ID:BAh3CRfm.net] >>250 JavaScriptはプロトタイプがグローバルに書き換わり全てのモジュールに適用されるためだな 一方でRustはメソッドを追加するにはトレイトを用意することが必要、そしてトレイトが宣言/useされている空間のみ有効、なので汚染が生じず安全 256 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 13:16:10.20 ID:GF+5hMbb.net] >>251 型を定義した以外のcrateでメソッドを追加するためにはtraitが必要、が正しいかな メソッドを追加するためにはtraitなしのimplを書く方法もあるが、これをできるのは型を定義したcrateだけに制限されているので他crateで定義を追加して汚染することはない とまあRustの事情は知ってるんだけど、他の言語ではどうなってるのかが知りたかった 257 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 13:16:45.41 ID:BiVUGBJZ.net] 知ってるけど今そんな話してるんじゃないんだわ 258 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 13:22:02.11 ID:UiNQmXr4.net] JavaScriptで脆弱性を生みまくってさんざん問題視されたんだから、いまどきそんな汚染が起こる新しい言語は一つもないよ 259 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 13:30:18.88 ID:5sWL1sIQ.net] 他の言語でもメソッド追加方法を教えて 今のところ JavaScript　>>248 Rust　>>249 260 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 13:46:50.81 ID:BiVUGBJZ.net] 発端になったD言語のUFCSハブられてるのなんで？ 261 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 13:58:52.24 ID:TLzTt+1G.net] >>256 UFCSはメリット無いからでしょ メソッド追加できるなら関数よりメソッドの方が名前空間を汚さないし 262 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 14:21:14.88 ID:UiNQmXr4.net] >>256 nimには採用されてるし、調べてみるとC++にも導入の提案がされてるみたいだから、それほどハブられてないのでは？ Bjarne Stroustrupの提案: www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4174.pdf Herb Sutterの提案: https://isocpp.org/files/papers/N4165.pdf 263 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 14:24:50.73 ID:S1pQjSZ5.net] UFCSはメソッド名空間の汚染 だから採用しないのが正解 264 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 15:13:03.71 ID:B7syBDSL.net] 結局メソッド生やしたいんじゃなくてプライベートメンバにアクセスしたいだけなんだよな 265 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 15:22:37.45 ID:sJr09n4H.net] >>259 汚染言うならRustのtrailと同レベルじゃない？ 関数をincludeしなければ影響無いんだし、言語次第だけど名前空間に閉じ込めることもできるだろ。 266 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 15:28:02.41 ID:VN4zR5UM.net] >>261 Rustは一切汚染しません 何を誤解しているのですか？ 267 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 15:36:09.96 ID:3MmiqOlF.net] いやトレイトで似たようなメソッドがたくさんぶら下がって汚染されてますよね？それが更にハードルが上がる一因になってる 268 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 15:46:00.36 ID:ZqKc7K5J.net] >>263 Rustでは明示的にuse Traitしない限り そのトレイトのメソッドが有効になることはないよ 汚染は起きず安全に設計されている 269 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 15:55:06.48 ID:UiNQmXr4.net] >>264 当然、D言語でもnimでも、importしたシンボルは、importされたスコープでしか有効にならないし、メソッド形式の呼び出しもできない Rustと何が違うんだよ 270 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:00:14.18 ID:xSu4vg9o.net] UFCSは強制汚染 関数として必要なだけなのにメソッド名空間を汚染 メソッドとして必要なだけなのに関数名空間を汚染 だから採用する言語がほとんどない 271 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:01:50.20 ID:3MmiqOlF.net] >>264 イヤイヤ、そんなのほとんどの言語でimportやincludeと同じで更に言えば、use std::io::prelude::*;みたいにRustでもPythonでも 誤ったやり方とされてるワイルドカードだって使えるんだから一緒でしょ。明確に言うなら”汚染は起きず”ではなく、汚染は当然ながら useするのだから起きている。無意味にuseしない*を使わないというのは言語仕様や特性じゃなく規約だよ 272 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:08:08.42 ID:UiNQmXr4.net] スコープやシンボルが限定されてるのに汚染と呼ぶのはおかしい 273 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:09:49.70 ID:Ld005CpI.net] >>267 Rustでは追加メソッドを使う場合 必要な機能のTraitだけを use TraitName as _; する そのため汚染は起きない 274 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:18:54.63 ID:EM9X2zpO.net] >>264 ほんとRustニワカ嫌いだわ、「明示的にuse Traitしない限り」なんて良くそんな詭弁が言えるわ。どう考えても一緒でしょう だからPythonだってas構文使えますし、D言語だってimport std.stdio : writeln, writefln;で選択的インポートできるでしょｗ 275 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:21:12.54 ID:PqJDEf6z.net] Rust聖戦士がワラワラ 他の言語のスタイルはすべてアンチパターン 276 名前：デフォルトの名無しさん [2022/04/25(月) 16:23:34.31 ID:NxLuUrhR.net] >>269 Underscore importなんてRustがトレイトのシンボルが別のシンボルと競合する可能性がある場合、つまりRustが破綻しないように 特別にあるだけで、汚染の低下のための機能ではないぜ。ここで汚染といってるのは無暗にメソッドが追加される事。 （回避策が仮に無ければ）衝突することはもはや、言語的な欠陥だ 277 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:27:35.43 ID:KFrD7nO2.net] 使われる空間に名前が載ることを汚染とは言わない 使わない空間に名前が載ることを汚染と言う UFCSが汚染と言われる理由は 関数として使いメソッドとして使わなくてもメソッド名空間に載り メソッドとして使い関数として使わなくても関数名空間に載るためだと考えられる 278 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:34:56.30 ID:NxLuUrhR.net] >>273 Rustだって、fn中にuse出来るわけでそれはほかの言語でも同じ。そう言う事はあまりしないけども、多くの言語で同じように”使われる空間”だけに載る 279 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:36:52.48 ID:UB00PZWU.net] RustがUFCSを採用しないのは単に、パーサーをオブジェクトを先して作り直すと（C言語にわざと似せてる）見た目が変わってしまうし パーサーに手を入れるということは苦労してきたコンパイル速度が低下してしまう恐れがあるという事だけ 280 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:37:55.90 ID:ZcyGlXND.net] >>273 その程度で汚染とか言うの聞いたことねえよ ESModuleとかが導入される前のJSのグローバル汚染なんかと比較してみ？ Rust上げしたいがためだけのただのイチャモンだよお前の主張は 281 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:39:18.63 ID:Ktg4GXmX.net] >>272 Rustでは汚染は起きないですよ >>274 そうです　 だからRustでは>>273の汚染という状況は発生しないですね 282 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:40:19.19 ID:WnCW0ZaS.net] そもそもUFCSは汚染だなんてここ以外で聞いたことがないんだけど 283 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:44:16.36 ID:LpKzCT90.net] >>273 UFCSとやらはムダに汚染しまくるクソな機能だな 284 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:46:59.96 ID:EmEbSMmo.net] Rustの宣伝はこんな匿名掲示板じゃなくQiitaとかに書いてほしいな その反応で実際に正論なのか暴論なのか明らかになるだろう 285 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:49:37.58 ID:ZJMHR0C4.net] UFCSという汚染機能をサポートしているプログラミング言語はDとNim 埋もれた言語となったのも当然の結果 286 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 16:50:47.89 ID:WnCW0ZaS.net] 汚染だとか書いてるのは全部ガイジだな 287 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:00:21.10 ID:AtUdeTix.net] ほとんど全ての言語がUFCSを採用していない理由はメリットが無いからだと思う そして無条件に二つの名前空間に登録されてしまうことを汚染と呼ぶかどうかは置いておくとしても本末転倒の方法かなとは感じる 288 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:01:11 ID:XBfmr4Gp.net] >>275 さらにRustは実装としてUFCSを別の意味で誤って使っていた過去がある、::パス構文で混乱を引き起こして曖昧性が起きた。2017年頃でそんなに優れた開発者がおらずなんとなく実装していた時期だな、いつもはRustは論文がしっかりしてると嘯くのに 289 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:02:36.89 ID:+vVlR4Vp.net] やっぱりUFCSは悪だな 290 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:12:43.76 ID:PqJDEf6z.net] 次スレはもうRust消そう 話にならん 291 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:19:42.27 ID:o63SmoRM.net] >>286 Rustは関係ないんじゃね？ むしろRustのアンチ側がなぜかRust叩きしていて巻き込まれ被害側にみえる 292 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:26:05.13 ID:PqJDEf6z.net] どっちでもいいよ 信者だろうがアンチだろうがあらゆる話題がRustとの比較になって宗教戦争化するのが馬鹿馬鹿しすぎる Rustの話題はスレ違いなのでRust叩きもスレ違いとする、問題解決 293 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:26:35.89 ID:4xqZqLmv.net] ほぼ全ての言語がUFCSを採用していない しかしUFCSが叩かれるとなぜか必死にRustを攻撃してくれる 一石二鳥と言えるだろう 294 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:38:49.59 ID:63+wFQ6i.net] C++委員会での議論でもメンバ関数と非メンバ関数で衝突したときにどう解決するかで割れて否決されたみたいだし、なかなか難しそうだね 295 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:51:06.52 ID:BSwMXBpD.net] 考えてみたがUFCSは完全に不要っぽい まずメソッドとして使いたいものは最初からメソッドとして書けばよい 次に外部の関数をどうしてもメソッドとして使いたいならばその外部関数を呼び出すメソッドを追加すればよい 296 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 17:53:13.68 ID:VVkmIp+6.net] 衝突が問題ならUFCSの使用は記号などを使って明示したらいいんじゃないかな？ 297 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:02:36.22 ID:DhJCopPa.net] 「Rustを攻撃」ってどっちも同じでしょって言ってるだけなのに、このように攻撃を受けたと勘違いするんだから、正常な議論なんて出来ない。 UFCSについて難癖付けてるだけじゃん、個人的には別に必要ないと思うし、仮にあったら便利だとも思うが。コンパイル時間が増えるのは許容できない 「Rustのアンチ側」なんて言い出すクズどもとまともな話なんて出来るわけない。 こんな奴らばっかり増やしてもRustの普及を妨げてると思うんだけど？ 298 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:07:17.52 ID:3bYGoG0a.net] スレ読んだけど 汚染でも何でもなくRust特有の問題でもないことをRustは汚染だと延々と叩いてるのは異常に感じた 299 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:08:46.62 ID:sJroCDvH.net] 今のところUFCSがある言語と外部のデータ型に対してメソッドを追加できない言語、メソッドを追加できる言語とできない言語のそれぞれは前者が勝手で勝るけど、前者同士では好みとか実現手法の違い程度の話のように感じてる UFCSも結局モジュール単位で環境が分離されている事が殆どのようだし、どちらかじゃないとできない事も、どちらかだと発生する致命的な不都合も見えてこない 一見機能が不要に見えても、その採用理由が他の要素に起因してたりもするだろうし、その辺私はUFCS採用言語のことを詳しく知らないのでなんとも言えないな 300 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:09:37.23 ID:9QpKK4x8.net] >>292 C++での議論では当然そういう案含めていろいろ提案されたけど、結局どれも一長一短で委員会での合意には至らなかったみたい 一人で作ってる言語なら作者の好みでサクッと入れられちゃうんだろうけどね 301 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:11:19.66 ID:DhJCopPa.net] 汚染と言わなくても、Rustがuseで似たようなメソッドがたくさん出てくるのは本当でしょ、UFCSにしてもそれはイコールで何ら変わらんわ なんでこいつらマトモに話すら出来ないの？コーディング能力を持ってるんだろうけど、コミュニケーション能力はゼロに近い 302 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:11:26.99 ID:VVkmIp+6.net] メソッドが動詞ならUFCSでは関係が逆になるんだよね 英語圏の人はどう思ってるんだろ 303 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:15:08.57 ID:Xt13Fv0a.net] >>298 OSV言語の自然言語に近くなるから、オブジェクトが先に来るのは利点として受け止められてる。でも所詮はシンタックスシュガーの何者でもない 304 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:16:12.91 ID:TDNc/5Gc.net] >>297 > 似たようなメソッドがたくさん出てくる そこ意味がわからない 似たようなメソッドがたくさんとは何？ 305 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:19:11.55 ID:VVkmIp+6.net] C#にも拡張メソッドと言う名前でほぼ同じ機能が使えるけどそっちは拡張メソッドオンリーで使う前提で作られてる 306 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:23:57.49 ID:WnCW0ZaS.net] 似たような機能はいろんな言語にあるよね 307 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:31:31.86 ID:5qzMTDWR.net] >>299 英語はOSVじゃなくSVOな？OSVになることもあるけど、そして世界の自然言語の主流は日本語と同じくSOVが40% 参考としてスター・ウォーズのジェダイ・マスター：ヨーダは、このOSV語順で話す。 308 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:34:58.90 ID:VVkmIp+6.net] var s=copy(section); paste(s); みたいなのがあって これを paste(copy(section)): とするより section.copy().paste(); のほうが受け入れ易いってことだよね？ 309 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 18:42:40.14 ID:pOd33Olh.net] >>304 最初からメソッドとして書けば済む 310 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:05:29.73 ID:8yiD5uPx.net] Methods! You will be written first, but many are not. 311 名前：デフォルトの名無しさん [2022/04/25(月) 19:07:02.73 ID:tSjXYtJn.net] >>305 ところがどっこい var sのsはメソッドを生やせないstring型だ 常にメソッドを生やせるとは限らないし、元のクラスに必要以上の仕事を増やさないためにから拡張メソッドという概念があるんだよ 312 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:15:14.85 ID:VVkmIp+6.net] スコープでuse出来て局所ごとにsection.print()の意味が変わる場合も便利だと感じる？ 313 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:28:32.34 ID:WnCW0ZaS.net] メソッドじゃなくて関数や変数でも、スコープごとに意味が変わりうるのは当然のこと 314 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:29:22.19 ID:9QpKK4x8.net] 拡張メソッドが欲しいのはまぁ分かるんだけど UFCSまでいくと普通の関数のつもりが意図せずメソッド呼び出しできてしまう、みたいなデメリットの方が大きくなる気がするなぁ 315 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:33:06.80 ID:m1bq2XCo.net] なぜRustが叩かれていたのかようやく理解できた Rustでは基本の型にも外部の型にもメソッドを追加できるわけか そのためメソッドを自由に追加できない言語の人が逆恨みで叩いていたと 316 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:35:49.53 ID:VVkmIp+6.net] "test".print();が局所ごとに意味が変わると気持ち悪い 317 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:37:37.15 ID:3TQSNLUR.net] >>266 Nimだと「メソッド名空間」自体が無いから、そんな議論をするのは無駄だね。 318 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:43:06.53 ID:DNOUKEV3.net] >>312 え？logging.rsに"test".print();と書いてあるのと、printer.rsに"test".print();で意味が変わるのはなんも関係無くねえ？ つーか普通に関数でprint("test")だのsaveだの、getだの散々やってるじゃん。気持ち（悪い）の問題なんだろうけどさ 319 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:46:57.59 ID:3TQSNLUR.net] >>311 それはNimも同様。 むしろNimの方がメソッドと関数を統一しているから(記法が違うだけ)、より自然に拡張できる。 >ぜRustが叩かれていたのかようやく理解できた >逆恨みで叩いていたと こういうアホなことを言う狂信者ばかりだからだよ。 320 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:56:02.27 ID:W8ZZnspt.net] RustのメソッドとかC++のメンバ関数のような特定の型だったりトレイトに束縛された関数のようなものがNimにはなくて、自由関数だけがある。 だからNimからUFCSをとったらC言語のように全ての関数をfoo(x, y, z)って書かないといけなくなっちゃう。 UFCSがあるおかげでどんな関数もx.f(y,z)だったりf(x, y, z)とか自由に書ける。 UFCSで関数がメソッドになるとプライベート変数/メソッドにアクセスできちゃうって勘違いしている人がいるかもしれないけどNimではそれは起きない。 C++のメンバ変数に相当するものや関数のアクセス権はモジュール外にそれを公開するかしないかのどちらかしかない。 321 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:57:52.87 ID:s4irQrJG.net] >>315 Nimでも自由にメソッドを追加できるならばUFCS必要なくね？？ 322 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 19:59:13.38 ID:9XvEg3RG.net] >>314 逆にprint_to_printer()とか print_to_consoleとか書いてあったら発狂するかもしれんわ 一番使うdebug_assert_eqとかヤメテほしい・・・、あと帰ってくる正式な型名が異様に長くなるのもC++の悪いところを引き継い出るような感じがする 323 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 20:05:33.97 ID:4uqCvk4R.net] >>316 自由関数しかないNimは関数名空間が常に汚染されてしまうのね 普通のプログラミング言語ならばメソッド名として名前空間が分離されるのよ 324 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 20:06:59.77 ID:0BSsoGgf.net] std::iter::emptyは名前空間を汚染するので使ってはいけません アホか 325 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 20:09:08.19 ID:9XvEg3RG.net] >>319 1つも調べもせんのな、自由関数だけじゃなくmethodもある。つーかおまえRust使うの止めてJavaやってろ、まじ迷惑 326 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 20:09:29.47 ID:VVkmIp+6.net] グローバル関数じゃなくて？ 327 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 20:10:31.91 ID:3TQSNLUR.net] >>317 >>316にまとまっているよ。 メソッドが無くて、ただの記法の違いでしか無いからこそUFCSのメリットを最大限享受できる。 >>319 メソッド名を関数名から「常に」分離するメリットは？ 関数自体をモジュールとかで分離して管理できればいいんじゃないのかね。 328 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 20:13:13.14 ID:xcxOK/uY.net] やはり逆恨みで無関係なRust叩きやってる説が正しいかもしれん Rustが無関係な状況でも>>321のように唐突にRustを出してくる 329 名前：デフォルトの名無しさん mailto:sage [2022/04/25(月) 20:21:15.47 ID:51f23UG1.net] 逆恨みだの、攻撃だの、ずーーとこんな事言ってる奴いるけど完全なびょーきだと思う。名前空間が汚染されないという言語はお前の中で具体的に何？

---

---

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

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