じゃあ最初から「そんな心配しなくてもC++では宇宙船演算子が型をきっちりとした実装で導入されるからそんな心配しなくても大丈夫だよ!」で50分の謎のやり取りしないで済んだじゃん?><
Notices by orange (orange_in_space@mstdn.nere9.help), page 29
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:43:17 JST orange
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:38:39 JST orange
少なくともwikipedia日本語版の記事の例示だと型がゆるふわな環境以外での宇宙船演算子の実装事例が書いて無いけど、型がきっちりな宇宙船演算子導入事例って具体的にどんなのがあるの?><
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:28:40 JST orange
オレンジ語っぽさをがんばってなくすなら「宇宙船演算子って簡潔に書けて便利そう。でも、型がゆるふわで整数型で返すような実装はごめんだなぁ」って言うことを最初に書いた><そしたら「Rustはハイカラなので順序はちゃんと型で返す!!!」って話が返ってきて「そういう話をしてるんじゃないんだけど?><;」ってなった><
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:24:42 JST orange
https://mstdn.nere9.help/@orange_in_space/107411394832547304
"宇宙船演算子、""こういう風に静的型付けの環境でこういう風にするのであれば"↑つまり型がしっかりしてるならば
"普通に便利なのではかもって気がしてる><""がも"が"ではかも"になってて意味不明だけど、つまり元ネタには型の問題があるけどそれさえクリアできれば普通に便利かもって言ってる><
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:19:12 JST orange
だから、短く書けたら便利だから宇宙船演算子欲しい(けども整数型で帰ってくるなんてキモイ仕様は絶対ヤダ)って言ってるんじゃん!?><
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:16:38 JST orange
In conversation from mstdn.nere9.help permalink Attachments
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:13:04 JST orange
宇宙船演算子の話が出てたからその話をしたんじゃん!?><
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:12:21 JST orange
宇宙船演算子 - Wikipedia https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E8%88%B9%E6%BC%94%E7%AE%97%E5%AD%90 の”Perl (数値のみ)[1]、PHP (バージョン7以上)[2]、Ruby[3]、Apache GroovyはA < B、A == B、A > Bのケースでそれぞれ-1、0、1を返す実装契約を規定している。”みたいな実装だと型がゆるふわで気持ち悪いけど、ちゃんと型がかっちりしてる言語で導入すれば、宇宙船演算子が返すのが『「順序はこうだよ!」って型』を返すので安全だし、安全なまま短く書くメリットが出ていいじゃん!?><っていう話をしてる><
In conversation from mstdn.nere9.help permalink Attachments
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:07:35 JST orange
@lo48576 ぜんぜん違うじゃん?><; それで言う所のOrd型(?)を返す演算子があったら便利だよね!>< って話を書いてるのに><
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:07:30 JST orange
@lo48576 こうじゃないじゃん><https://mstdn.nere9.help/@orange_in_space/107411433365902212
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:04:56 JST orange
@lo48576 オレンジの主張とまったく違うじゃん><
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:03:55 JST orange
よく知らないけどRustにはそういう演算子(なり予約語なり)があるらしい?><
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 22:03:55 JST orange
switch (a <=> b){ case (OrderIs.LessThanRight) { //以下略みたいに書けるようにしたいって言ってる><(この場合<=>が返すのはOrderIs型><)
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 21:51:12 JST orange
宇宙船演算子、こういう風に静的型付けの環境でこういう風にするのであれば普通に便利なのではかもって気がしてる><
ちゃんと型検査される、『「どっちがでかいの?ていうか同じ?」型』>< https://gist.github.com/orange-in-space/51a5ea3884bc0f001923b0a8a6734772
In conversation from mstdn.nere9.help permalink Attachments
-
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 21:48:12 JST orange
オレンジはBASICから入ってPascalに移行した流れのあれで慣れてるので <> でも != でもどっちでも違和感ないかも・・・><
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 21:33:05 JST orange
そこまではしないけど、Pascal好きとしては色つきのエディタならばbegin endの方が見やすく感じてる><;
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 21:30:17 JST orange
「読みづらくても(コンパイラやテスト環境がしっかりしてれば)何とかなる!」って、それ「読みづらいコードでもコンパイラやテスト環境がしっかりしてれば問題ないので読みづらいコードを書いてもよい」って主張と何が違うのか?><;
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 21:23:53 JST orange
ifでnotの有無の間違いによるミスってコンパイラが検出できないバグの率高くない?><;
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 21:19:25 JST orange
わかりやすくするために超極端に言うと、(!illiliilllilli | iilliillili)よりも (not illiliilllilli or iilliillili)のほうが見やすいじゃん!?><;
In conversation from mstdn.nere9.help permalink -
orange (orange_in_space@mstdn.nere9.help)'s status on Wednesday, 08-Dec-2021 21:16:39 JST orange
だからさっきから書いてるように、| とか ! とか記号小さすぎて見間違いとか見落としの危険高いじゃん!?><;
In conversation from mstdn.nere9.help permalink