orange @[email protected]

で、強い弱いも型安全も文化圏によってかなり指すものが違ったりするので、オレンジは「ゆるふわ」ってゆるふわな書き方をしてた＞＜；

そもそも型がゆるふわかどうか面って、どこがどのようにゆるふわかで例えばオレンジが大好きな（だけど実用はしたことが無い）Adaの思想であれば「整数型とかそのまま使うのマジ！？ ちゃんと名前ついた型作れよ」みたいな発想だし、あれかも＞＜

これの言語とか静的型付けだけど、スプリプト言語っぽい思想の変な言語でかなりゆるふわ的発想かも＞＜

U-22プログラミング・コンテスト2019、独自の言語を開発した15歳が経済産業大臣賞を受賞 | スラド IT https://it.srad.jp/story/19/10/23/1625249/

オレンジのさっきのgistでの本題として言いたい事はそのおかしさで、なおかつ、ちゃんと型安全にするのであれば宇宙船演算子を導入すると便利そうって言いたかった＞＜
あと、この事例がまさにそうだけど、こういう場合には静的か動的かって話ではなく型安全とか強い弱いの文脈の話であって動的でゆるふわだけど強い型付けとか色々あるわけであって、静的/動的ではあんまり書かないほうがいいんでは感＞＜

C# はそこに関してはなぜか型がゆるふわだけど、別に長くないよ？＞＜　むしろオレンジの書き方の方が冗長＞＜

じゃあ最初から「そんな心配しなくてもC++では宇宙船演算子が型をきっちりとした実装で導入されるからそんな心配しなくても大丈夫だよ！」で50分の謎のやり取りしないで済んだじゃん？＞＜

少なくともwikipedia日本語版の記事の例示だと型がゆるふわな環境以外での宇宙船演算子の実装事例が書いて無いけど、型がきっちりな宇宙船演算子導入事例って具体的にどんなのがあるの？＞＜

オレンジ語っぽさをがんばってなくすなら
「宇宙船演算子って簡潔に書けて便利そう。でも、型がゆるふわで整数型で返すような実装はごめんだなぁ」
って言うことを最初に書いた＞＜
そしたら「Rustはハイカラなので順序はちゃんと型で返す！！！」って話が返ってきて「そういう話をしてるんじゃないんだけど？＞＜；」ってなった＞＜

https://mstdn.nere9.help/@orange_in_space/107411394832547304

"宇宙船演算子、"
"こういう風に静的型付けの環境でこういう風にするのであれば"
↑つまり型がしっかりしてるならば

"普通に便利なのではかもって気がしてる＞＜"
"がも"が"ではかも"になってて意味不明だけど、つまり元ネタには型の問題があるけどそれさえクリアできれば普通に便利かもって言ってる＞＜

だから、短く書けたら便利だから宇宙船演算子欲しい（けども整数型で帰ってくるなんてキモイ仕様は絶対ヤダ）って言ってるんじゃん！？＞＜