次世代言語13 Go Rust Swift Kotlin TypeScript

**デフォルトの名無しさん** · 2018/08/20(月) 21:55:53.03

スレタイ以外の言語もok

前スレ
次世代言語12 Go Rust Swift Kotlin TypeScript
http://mevius.5ch.net/test/read.cgi/tech/1530664695/

**デフォルトの名無しさん** · 2018/08/29(水) 08:26:21.14

誰かgo2の解説頼む。

**デフォルトの名無しさん** · 2018/08/29(水) 08:50:24.08

conditionはexpressionだろ
checkedも、checked==trueもexpressionじゃん。

はい、いいえ以外の選択肢はあるよ。無回答だ。
無回答という値を作ってもいいが、普通はnullだろ。
そのためのnullだ。集計してもnullに食われる「ようになってる」。

**デフォルトの名無しさん** · 2018/08/29(水) 08:54:19.80

NOと言えない島猿

**デフォルトの名無しさん** · 2018/08/29(水) 09:53:38.09

> if checked == true　～
> if checked != true　～

これなぁ
プルリクでこれきたらなおさせてたが最近は認めてる

バカはバカなりに特定の値で分岐するときのイディオムとしてifと==を組み合わせて使うって覚えてるんだよ
intであろうがboolであろうが同じ
そう思うとこれはこれで一貫性ある
実際これが読みにくいって感じることはないし
コンパイラは黙って最適化するし

なので許すことにした
自分では書かないが

**デフォルトの名無しさん** · 2018/08/29(水) 10:34:17.12

Swift大勝利じゃないか
C++もgoも後を追ってくる

**デフォルトの名無しさん** · 2018/08/29(水) 10:41:05.27

winでswift使わせてよー

**デフォルトの名無しさん** · 2018/08/29(水) 11:47:51.64

nullだのエラー処理だの言ってるのはモナド
モナドは型を書かないと意味わからないし
その型はジェネリクスのようなものがないと宣言できない

**デフォルトの名無しさん** · 2018/08/29(水) 12:02:48.71

>>208
そのSwiftはRustの後を追ってる
やっぱりRustなんだよなぁ

**デフォルトの名無しさん** · 2018/08/29(水) 12:17:51.45

falsyなものが無い言語ならどっちでも良いとは思うけど、どっちにも言い分はあると思う。
APIの戻り値なんかが変わったときに
「何もしないで同じ動きをして欲しい。自動テスト転ばないのが唯一の正義」派と
「明確に対応したい。転ばない自動テストが間違ってる。そもそもちゃんとアサーションしろ、本当にtrueでもfalseでもない状態はありえないか？メモリ化けとかどーすんの？」派の違いだと思うわ。

結局falsyな言語だと「本当にfalse」と「falseではないがfalseとみなされる」を、混同したい場合も区別したい場合もあるんだし。

**デフォルトの名無しさん** · 2018/08/29(水) 13:43:29.30

Perlでは数値と数値の比較には==を、文字列と文字列の比較にはeqという演算子を使う
数値と文字列の比較はない
数値なら0だけがfalse
それ以外にfalsyな値は存在しない

**デフォルトの名無しさん** · 2018/08/29(水) 16:28:08.12

>>207
俺もこれだわ
二重否定以外は大抵許してる

3値論理の必要性は分かるけど、開発メンテしていく上では邪魔なので基本使わせない

**デフォルトの名無しさん** · 2018/08/29(水) 16:32:06.97

Swiftなんかあったの？

**デフォルトの名無しさん** · 2018/08/30(木) 00:00:20.35

> if checked == true

この流儀？を許したら
if checked == true
if checked != true
if checked == false
if checked != false
の四兄弟がセットで押し寄せてくる
さらに
if (n > 10) == true
if (enabled & visible) = true
if checked == true && enabled == true && visible == true
なども体をねじ込んでくる
さあ楽しくなってくるじゃないか

**デフォルトの名無しさん** · 2018/08/30(木) 00:08:34.03

ワナビーの凡人法則

糞どうでもいい低レベルな議論しかできないヤツが
糞どうでもいい話に飛びついて
ここぞとばかりに高説ぶる

死ねば
ええんちゃうか？ωωω

**デフォルトの名無しさん** · 2018/08/30(木) 00:14:26.32

オブジェクト指向でいうとboolに==メソッドがあるのが悪い
もしObjectクラスの==をboolが継承しているなら、Objectクラスが存在するのが悪い

**デフォルトの名無しさん** · 2018/08/30(木) 00:47:04.12

オメーガ？

**デフォルトの名無しさん** · 2018/08/30(木) 00:48:13.84

だからさー！君たちワナビーの法則やっちゅうねんバカなのか！

**デフォルトの名無しさん** · 2018/08/30(木) 00:55:49.05

>>218
boolに比較演算子がないと型パラメータとして渡す時に要らん制限が増えるだろ

**デフォルトの名無しさん** · 2018/08/30(木) 01:13:21.94

>>218
論理演算子に同値が定義されていないのも色々と書きにくそう
notとandとorで書けるけど

**デフォルトの名無しさん** · 2018/08/30(木) 01:21:47.57

2項比較演算子がﾀﾞﾒということじゃないからな

　　aho == true
　　true == aho

　のﾌﾞｰﾘｱﾝのﾘﾃﾗﾙが入ってる2項等価演算子はﾀﾞﾒ

　　aho == baka

　の2項等価演算子はｱﾘ

わかった？

**デフォルトの名無しさん** · 2018/08/30(木) 01:24:38.44

つまり、trueとfalseは
代入以外に使えないようにすればいい

**デフォルトの名無しさん** · 2018/08/30(木) 03:28:31.53

>>213
空リストとか空文字列ってfalse扱いじゃなかったっけ？

**デフォルトの名無しさん** · 2018/08/30(木) 03:31:50.70

コミュニケーションじゃなくてプログラミングスタイルで繋がりたいんだろうが
実はそっちのほうがもっと無理

**デフォルトの名無しさん** · 2018/08/30(木) 04:38:17.14

語学じゃなくて心理学とか脳科学とかでシンギュラリティしたいんだろ
そっちのほうが無理

**デフォルトの名無しさん** · 2018/08/30(木) 07:11:50.68

ワイノ話を聞かないとは無能揃いだね？

**デフォルトの名無しさん** · 2018/08/30(木) 07:34:59.92

半角の人はなぜ駄目かを全く読んでないのな。

**デフォルトの名無しさん** · 2018/08/30(木) 07:39:56.35

てゅかさ。深夜に書き込んでるってことはおまいら無職だろ
無職風情がワイ様無視してワナビー法則でイキってるとかマジゴミだろωωω

**デフォルトの名無しさん** · 2018/08/30(木) 08:11:26.07

無駄だからそんな書き方しなくていいってだけで、それ自体何か害があるわけじゃないから
文法上禁止してしまう理由はないと思うがなぁ。
レビューで指摘するのはそれがコードスメルだからってだけだろう。

**デフォルトの名無しさん** · 2018/08/30(木) 09:09:42.55

a == trueが禁止されたのでa ^ !trueに置換しておきました

**デフォルトの名無しさん** · 2018/08/30(木) 09:55:24.67

マジこのワナビーの法則の話いつまで続くんや
夏厨死ねよ

**デフォルトの名無しさん** · 2018/08/30(木) 11:01:42.71

>>225
文字列なら "" と "0" がfalse
数値なら0だけがfalse

**デフォルトの名無しさん** · 2018/08/30(木) 11:59:46.41

perlには '0 but true' という、数値として 0 と比較すると一致するが if でそのまま使うと true 扱いになる特殊な値があったりする。

**デフォルトの名無しさん** · 2018/08/30(木) 12:14:56.63

次世代を担うに相応しい真偽評価戦略を語るべし

**デフォルトの名無しさん** · 2018/08/30(木) 13:15:05.68

次世代はif文が消えjsのthen的なものになります

**デフォルトの名無しさん** · 2018/08/30(木) 13:47:18.38

うえー

**デフォルトの名無しさん** · 2018/08/30(木) 13:49:00.74

数値の偽は0
文字列の偽は "" "0"
オブジェクトの偽は null "" "0" その他
階層が深いほど偽が多い法則

**デフォルトの名無しさん** · 2018/08/30(木) 13:57:19.48

次世代言語にはifもforもない

**デフォルトの名無しさん** · 2018/08/30(木) 14:29:05.96

アスペはこういうところに拘ってしまって先に進めないんだよね

**デフォルトの名無しさん** · 2018/08/30(木) 14:47:28.76

飯炊き三年握り八年

**デフォルトの名無しさん** · 2018/08/30(木) 18:20:12.51

ちゃんと読んでないけど
boolなら
if checked / if !checked
でいいやん

**デフォルトの名無しさん** · 2018/08/30(木) 18:57:30.25

数値なりリストなりを暗黙に真偽値比較せずに
明確にすればいいだけじゃないの？

**デフォルトの名無しさん** · 2018/08/30(木) 19:30:44.87

直和な幽霊型でCheck|Uncheckを型に持たせて管理すればいいよ

**デフォルトの名無しさん** · 2018/08/30(木) 21:15:21.94

if で boolean 型以外を許さず、更に boolen 型の値の比較も許さない言語を作れば解決。

**デフォルトの名無しさん** · 2018/08/30(木) 21:51:23.27

というかそれが普通なんだけどな。
型がないB言語の特徴を受け継いだCがなまじヒットしてしまったせいで
後続の言語もその悪習を真似るようになってしまった。

**デフォルトの名無しさん** · 2018/08/30(木) 22:07:01.18

こんなしょうもないことに時間使ってもバグは減らないっていう事実にそろそろ気付こうよ。

**デフォルトの名無しさん** · 2018/08/30(木) 22:21:35.61

低学歴知恵遅れが書いたなぜﾀﾞﾒかを読んでない？
まず読む必要がない
頭悪すぎてお話にならないからな

適切にﾀﾞﾒなｹｰｽを書いてるのはｵﾚしかいないからな
当然、低学歴知恵遅れのﾚｽなんかどうでもいいことになる

**デフォルトの名無しさん** · 2018/08/30(木) 22:48:08.67

まず読む必要がない事を書いてくれてありがとうな

**デフォルトの名無しさん** · 2018/08/30(木) 23:10:41.48

些細なヘイトスピーチもきっちりデバッグしてる欧米の文化の方がITの才能がある

**デフォルトの名無しさん** · 2018/08/31(金) 02:17:18.78

>>233
ワナビーの法則
って何？
ググってもこのスレしか出てこないんだが
https://i.imgur.com/PzUYieo.jpg

**デフォルトの名無しさん** · 2018/08/31(金) 05:21:39.77

>>248
ホントこれ

**デフォルトの名無しさん** · 2018/08/31(金) 11:41:15.33

無益なものを批判する暇があったら
有害なものを批判しろよ

**デフォルトの名無しさん** · 2018/08/31(金) 19:26:31.62

右の睾丸を触られたら左の睾丸を触りなさい

**デフォルトの名無しさん** · 2018/08/31(金) 19:58:49.98

刑を執行してはいけないが、裁判と有罪確定まではやっていい

**デフォルトの名無しさん** · 2018/08/31(金) 21:20:12.74

ｷﾞﾙﾃｨ
死刑！

**デフォルトの名無しさん** · 2018/08/31(金) 23:12:29.91

>>243
それが常人のイディオム
bool型の変数に説明的な変数名をつけるだけで
ifの可読性が増すなんてことは
自分で思いつくか
人のを見て気付くか
人に教わって知るか
いずれかの方法で自分のものにするはず

たぶんアホは変数名をflagなどにしてて
「フラグがTRUEのとき」などという覚え方をしてるからこそ
if flag_foo == true　などという書き方になるんやろな、知らんけど

**デフォルトの名無しさん** · 2018/08/31(金) 23:21:27.80

いつまで初心者な話題ばっかやってんの
つまりはそういうことなの？

**デフォルトの名無しさん** · 2018/09/01(土) 02:13:15.43

a < b < c　みたいな連続比較（演算子の連結？）って、なんで流行らないの？

**デフォルトの名無しさん** · 2018/09/01(土) 02:24:21.20

Python、Julia、Mathematica辺りはできるね
意外にMatlabはできない

**デフォルトの名無しさん** · 2018/09/01(土) 07:28:39.38

>>260
大して簡素化しない割には、ANDしか対応できないからじゃね？

**デフォルトの名無しさん** · 2018/09/01(土) 07:59:09.68

rangeにinかなにかでよさげ

**デフォルトの名無しさん** · 2018/09/01(土) 08:01:36.87

>>260
文法が複雑になるし、等値比較の扱いをどうするかが難しい
a = f
これC系の優先順位に倣うと (a = f) が自然だろうけど、たぶんこの式を書いた人の期待していた結果ではないだろう

**デフォルトの名無しさん** · 2018/09/01(土) 10:17:17.34

数学では a = f はガイジが書いたとしか思えない

**デフォルトの名無しさん** · 2018/09/01(土) 10:18:25.01

でも個人開発じゃなかったらガイジも書くから

**デフォルトの名無しさん** · 2018/09/01(土) 10:31:17.38

>>265
そんなに出てこなかろうが書けなきゃ一貫性に欠ける
a < b <= c の形に限るんなら a in (b..c] の方が美しいわ

**デフォルトの名無しさん** · 2018/09/01(土) 10:56:33.83

>>267
あんまり出てこないって言っただけで、>>265の二つめは出来た方が良いと思うよ。三つめガイジだけど
で、>>261に挙げられた言語は出来ないの？出来るんじゃね？

**267** · 2018/09/01(土) 11:13:45.36

>>268
その上で、範囲チェックにしか使えないんなら範囲チェックに特化した表記の方が望ましいという意見なんだけど、言ってる意味わかる？
表記上は一般的に広く使えそうに見えて実は特定の限定的なパターンしか認めないってのは典型的なダメ言語だよ

**デフォルトの名無しさん** · 2018/09/01(土) 11:16:35.64

「数学では～」っていう言い方見ると悲しくなる
高校数学やそれに毛の生えたようなとこしか触ってないのに
それをもって「数学では～」などと笑止千万

これは>>265にあてつけたんじゃなくて
昔からずーっと思ってたこと

**デフォルトの名無しさん** · 2018/09/01(土) 11:19:23.27

まさかMaybeが出来ない初心者なんていませんよね

foo p x y = if p y x then Just x else Nothing
bar m p = maybe False p m

(a <= b && b < c && c == d)
== ((Just a >>= foo (<=) b >>= foo (<) c) `bar` (==d))

**デフォルトの名無しさん** · 2018/09/01(土) 11:19:31.04

>>269
いや、だからキモいしガイジしか書かないけど、書けた方が良いって言ってんじゃん
で？>>261の言語は書けるんじゃないの？

**デフォルトの名無しさん** · 2018/09/01(土) 11:27:25.51

数学でも a c みたいな書き方はしないし
許してる言語もないだろ

**デフォルトの名無しさん** · 2018/09/01(土) 11:37:23.08

>>273
それが文法上許されないことを説明する一貫性のある理由がない
<と<=を特別扱いみたいな一貫性の欠片もないガイジ仕様にするくらいなら要らない、という設計判断は十分にありうる

**デフォルトの名無しさん** · 2018/09/01(土) 11:47:25.54

必要か不要かを判断するコストは実際にはものすごく高い
簡単に作れるかどうかで判断してたくさん自由に作ってどれかひとつ成功すればいい

**デフォルトの名無しさん** · 2018/09/01(土) 11:52:13.22

Juliaだと a c は合法だった
多分 a c を計算してるっぽい
しかし文法的に一貫性があるのはわかるのだが
これが書けてしまうのはやはり気持ち悪いな

この手のでRangeで書きにくいやつだと、
行列の上三角成分だけ舐めるときに
1 <= i < j <= n
とか書けるとちょっとだけ嬉しい

**デフォルトの名無しさん** · 2018/09/01(土) 12:00:11.31

a < f(b) < c
fは何回呼ばれるべきか

**デフォルトの名無しさん** · 2018/09/01(土) 12:11:13.69

理想的にfが純粋関数でbの値がconstで1回だけ評価が素直だと思うが

**デフォルトの名無しさん** · 2018/09/01(土) 12:11:17.71

pythonの場合、 a < b という式の型がboolなのに (a < b) < c ができてしまうというのが
非常に分かりにくいね。なんというか、むりやり捻じ込んだ感。

**デフォルトの名無しさん** · 2018/09/01(土) 12:14:38.95

a a and b < c

どっちがわかりやすいか？

**デフォルトの名無しさん** · 2018/09/01(土) 12:36:45.65

なんで
a < b and b < c
じゃないの？

**デフォルトの名無しさん** · 2018/09/01(土) 12:53:55.22

センス

**デフォルトの名無しさん** · 2018/09/01(土) 13:05:45.26

>>280
1=1<2だったらどうすんの？

**デフォルトの名無しさん** · 2018/09/01(土) 13:19:35.77

>>280
コンパイラは大抵
b > a and b < c
のがわかりやすいと判断している。

**デフォルトの名無しさん** · 2018/09/01(土) 18:37:02.95

だれかがいってるように
ﾏｼﾞで頭悪い。。。

aho = a < b ← 結果はﾌﾞｰﾘｱﾝ
baka = aho < c ← ﾌﾞｰﾘｱﾝを大きさで比較してる
< は普通2項演算子で予約されてるからな

3項演算子みたいに使ってない記号を組み合わせるならまだ理解できる

**デフォルトの名無しさん** · 2018/09/01(土) 18:51:27.82

>>281
その書き方だと　0 < x < 100 が
0 < x and x<100になるからセンス悪いと思った

x > 0 and x <100

xが0より大きく100より小さいにマッチするような記法がない

**デフォルトの名無しさん** · 2018/09/01(土) 19:03:39.36

ワロた

**デフォルトの名無しさん** · 2018/09/01(土) 19:34:08.16

半角の人はいい加減に自分が馬鹿なことを認めてほしい。

**デフォルトの名無しさん** · 2018/09/01(土) 19:34:46.46

>>285
ineqop ::= ('<' | '<=' | '>' | '>=')
ineqexpr ::= shiftexpr { ineqop shiftexpr }
みたいに定義すりゃいいだけだろ

**デフォルトの名無しさん** · 2018/09/01(土) 19:47:34.46

なにも解決してない
構文規則と演算の規則は
なんの関係もないからな

知恵遅れは構文規則でかければ
自動的に演算規則ができて

なんでも演算できると思ってるらしい
構文規則と解釈が分離できてない

ｺﾚが低学歴知恵遅れの限界
ﾎﾝﾄな気の毒なぐらい頭悪い

**デフォルトの名無しさん** · 2018/09/01(土) 19:51:19.20

>>290
任意個数のオペランドを持ったノードとして左から順に評価すればいいだけだぞ
CやJSのカンマ演算子なんかと一緒

**デフォルトの名無しさん** · 2018/09/01(土) 19:52:39.70

a < bは
普通にﾌﾞｰﾘｱﾝ返す演算子だからな
普通にﾌﾞｰﾘｱﾝ返すのが正しい演算だ

**デフォルトの名無しさん** · 2018/09/01(土) 19:53:45.56

aho ? baka1 : baka2
全然違う

**デフォルトの名無しさん** · 2018/09/01(土) 19:56:29.75

a < b の値は最初はintだったのをboolに変えたんなら次はMaybeに変えてもいいぞ

**291** · 2018/09/01(土) 19:56:58.30

カンマ演算子と一緒は間違いだな、撤回する
例えば配列リテラル式と一緒だと考えればいい
あれは任意個数のオペランドを引数にとって全体として配列型を返す演算子であると解釈できる

**デフォルトの名無しさん** · 2018/09/01(土) 19:57:48.29

非ｾﾞﾛを非ｾﾞﾛでないかを
真偽にしても別に問題はない

**デフォルトの名無しさん** · 2018/09/01(土) 20:00:11.15

真偽値をどういう値にするかどうかなんか関係ないからな
式の評価で真偽判定を行わないという解釈の問題になるからな

**デフォルトの名無しさん** · 2018/09/01(土) 20:01:12.82

とりあえず低学歴知恵遅れは
とてつもなくｵﾂﾑに問題があるのが
このｽﾚみててもよく分かる

適切な問題の分離のしかたが分かってない

**デフォルトの名無しさん** · 2018/09/01(土) 20:03:28.96

アホだなあ
演算記号が単独で式を構成しなければならないなんて決まりはない
全体で式を構成すると考えれば何の問題もない

**デフォルトの名無しさん** · 2018/09/01(土) 20:06:47.42

a < b < c
まず a < b を評価して
その評価結果を
(a < b) < c
で評価するという決まりだからな
ｺﾚが正しい解釈になる

それ以外は不適切な解釈

**デフォルトの名無しさん** · 2018/09/01(土) 20:07:36.43

Iconという言語だとこれが、a < b という式は成功した場合の値がbになるから a < b < c が
自然に実現できるんだよな。

**デフォルトの名無しさん** · 2018/09/01(土) 20:13:43.79

>>300
じゃあ関数呼び出し式 (f)(a, b) はどう解釈する?
君のいう正しい解釈のように ((f)(a))(b) と解釈する言語も実際に存在するけど、あまり一般的ではないよね

**デフォルトの名無しさん** · 2018/09/01(土) 20:22:54.83

>>300
この辺レガシーな言語なら最初の比較で出るのはbool型になるからcと比較してまともな結果になるはずがないんだよね

**デフォルトの名無しさん** · 2018/09/01(土) 20:25:39.05

>>302
二項演算子 a < b と三項演算子 a < b < c が同時に存在するというイメージなんだろうか。
a < b がコンテキストによってboolを返すかbを返すか変化するという方がまだ無理がないな。