orange
さんがブースト
それは「ThreeWayComparison.Compare(a, b)」と「a <=> b」を比べるから落差が大きいのであって、言語仕様の問題では？
宇宙船演算子の話が出てたからその話をしたんじゃん！？＞＜
orange
さんがブースト
演算子か否かなんてマジで表象の話じゃん
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を返す実装契約を規定している。”
みたいな実装だと型がゆるふわで気持ち悪いけど、ちゃんと型がかっちりしてる言語で導入すれば、宇宙船演算子が返すのが『「順序はこうだよ！」って型』を返すので安全だし、安全なまま短く書くメリットが出ていいじゃん！？＞＜
っていう話をしてる＞＜
switch (a <=> b)
{
case (OrderIs.LessThanRight)
{
//以下略
みたいに書けるようにしたいって言ってる＞＜
（この場合<=>が返すのはOrderIs型＞＜）
もしかしなくても誰も読んでない＞＜
よくわかんないけど、オレンジの主張は
a <=>b ってすれば
比較して順序な型返す関数(a,b) って書いたのと同じになってくれる ようになって欲しいって意味だけどなってるのかも？＞＜
orange
さんがブースト
https://doc.rust-lang.org/stable/std/cmp/trait.Ord.html
もう世界で百億人くらい同じこと考えていて綺麗な言語は既にそうなっているので、そうなっていないレガシー言語がしょーもないとかいう話をグダグダしていること自体がしょーもない
宇宙船演算子、こういう風に静的型付けの環境でこういう風にするのであれば普通に便利なのではかもって気がしてる＞＜
ちゃんと型検査される、『「どっちがでかいの？ていうか同じ？」型』＞＜ https://gist.github.com/orange-in-space/51a5ea3884bc0f001923b0a8a6734772
orange
さんがブースト
UFO演算子を聞いたときは、ふざけてんのかって思った。
Adaみたいにend ifとかend loopとかend hoge的に言語仕様で書けるようにすればよくね？＞＜
Ada Programming/Subprograms - Wikibooks, open books for an open world https://en.wikibooks.org/wiki/Ada_Programming/Subprograms
orange
さんがブースト
}//なんとか
だと、ズレてても検出できないんですよね。
while(cond1) {
while(cond2) {
foo();
}//while
if(cond3) {
bar();
}//if
}//while
が
while(cond) {
while(cond2) {
/* このあたりでごっそりコードを消したが、うっかり消しすぎた */
bar();
}//if
}//while
になっていても、コンパイルが通ってしまう。
で、ブロックの中身がデカかったらミスマッチに気付けない。
orange
さんがブースト
case - esac はじめてきいた
}//なんとか
ってしたらいいのではと思った
オレンジはBASICから入ってPascalに移行した流れのあれで慣れてるので <> でも != でもどっちでも違和感ないかも・・・＞＜
orange
さんがブースト
不等号を並べてぶつける事自体がなんか生理的に受け付けません
orange
さんがブースト
ちなみに深い理由は何もないですが、vbaの<>を見るとなんか体調が悪くなります
そこまではしないけど、Pascal好きとしては色つきのエディタならばbegin endの方が見やすく感じてる＞＜；
- ＠orange_in_space
2017年 4月に登録
