次世代言語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/28(火) 22:44:40.54

>>159
ワナビーの法則やな
誰でも口出しできる駐輪場の話題が一番盛り上がって恋仲を深めるってやつ

**デフォルトの名無しさん** · 2018/08/28(火) 22:46:37.27

３つの状態を持つのはSQLで三値論理演算ゆうんやで
無学なおまいら何も知らないNOOBYよ

**デフォルトの名無しさん** · 2018/08/28(火) 22:49:45.78

DBの設計がまともにできない知恵遅れが設計すると
そういうｳﾝｺDBができるとｱﾎが自慢してる

**デフォルトの名無しさん** · 2018/08/28(火) 22:54:34.25

知恵遅れが設計したDBはSQLの抽出条件もnvlだらけになる

**デフォルトの名無しさん** · 2018/08/28(火) 22:57:41.01

いやいや、ディビニストの基本やぞ・・・
三値論理演算できて初めて半人前のお赤飯や
愚か者

**デフォルトの名無しさん** · 2018/08/28(火) 23:00:33.92

nullとから文字は違うと
みなわかってることを
みなにﾄﾞﾔ顔で話してるﾊﾞｶとそっくりなﾔﾂが
このｽﾚにもいる

そいつ知能が著しく低いことは
みなしってるがだれもそいつにはいわない

ｵﾏｴはな、そういう自覚はもっといやほうがいい

**デフォルトの名無しさん** · 2018/08/28(火) 23:01:53.05

DBでもnull可能なﾌﾞｰﾘｱﾝ入れる知恵遅れなんかまずいない

**デフォルトの名無しさん** · 2018/08/28(火) 23:03:02.22

クソバカ半角がいじｗ
ナールを正しく扱えて初めて半人前だのクラッカーボレーだッッッ（ジョジョッ）

**デフォルトの名無しさん** · 2018/08/28(火) 23:35:15.67

ﾏｰｹﾃｨﾝｸﾞﾘｻｰﾁなんかの調査票で
はい、いいえという選択肢がない項目でも
DKやOMITが付与されることがある
ｸﾛｽ集計するときそれがｶﾃｺﾞﾘになったり除外されることがある

知恵遅れにそういうのを放置してやらせると
そのまんま見た目でそういう変数ですらﾌﾞｰﾘｱﾝにしてしまう

このｽﾚにはその程度の知能のﾔﾂがｳﾖｳﾖいる

**デフォルトの名無しさん** · 2018/08/28(火) 23:41:51.99

最初の条件は誰もbooleanとは言ってないのにねぇ＞ｺﾚはもうﾌﾞｰﾘｱﾝじゃない

**デフォルトの名無しさん** · 2018/08/28(火) 23:46:10.87

明らかにﾌﾞｰﾘｱﾝ
ｺﾚをﾌﾞｰﾘｱﾝのことをいってないと考えれるなら
ｵﾂﾑに軽度の障害がある

145 名前：デフォルトの名無しさん[sage] 投稿日：2018年08月28日(火) 13時32分07秒52 [昼] ID:YFDGQHp2 [1/3]
if checked == true　～
if checked != true　～
みたいな馬鹿馬鹿しい判定がコンパイルエラーになる言語ってない？

147 名前：デフォルトの名無しさん[sage] 投稿日：2018年08月28日(火) 16時02分37秒80 [夕方] ID:YFDGQHp2 [2/3]
伝わってないようだけど
checked == true　や　checked != true　みたいなバカなコーディングを
コンパイルエラーにしてくれる言語はないのか？　

150 名前：デフォルトの名無しさん[sage] 投稿日：2018年08月28日(火) 17時57分19秒80 [夕方] ID:YFDGQHp2 [3/3]
非建設的でコミュ障な回答ありがとうございました
非建設的な馬鹿は死ななけば治らないのですね

**デフォルトの名無しさん** · 2018/08/28(火) 23:49:14.00

ｵﾂﾑに軽度の障害があるから
D:YFDGQHp2 ←　ｺｲﾂの質問の意図も読みとれないﾜｹ

で、このｽﾚの池沼たちは質問と無関係なﾄﾝﾁﾝｶﾝなｱﾎなﾚｽばっかりしてるﾜｹ

わかった？

**デフォルトの名無しさん** · 2018/08/28(火) 23:53:33.19

ていうかこれ質問が悪いよね
どっちにも解釈できる

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

型無し糞言語が能無し糞ガイジを産む
負のwhile (true) ループ

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

ローコンテキスト文化なところでハイコンテキストな質問をする方が悪いとしか

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

コミュ症だから意図がよみとれないんじゃないか

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

スレ的にJuliaはどう？
1.0なったのに全然話題になってないな

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

結局 if err != nil 無くそうとしてるじゃねーか
今までの主張はなんだったんだ
https://go.googlesource.com/proposal/+/master/design/go2draft.md

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

Goのエラーハンドリングは先進的だとかジェネリックなんか必要ないとか言ってドヤ顔してた人は今どんな気持ち？w

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

Google様の仰られる言葉は全て正しいんやで

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

>>199
先進的だとか必要ない、ではなくてどちらも弊害が多い、の間違いだろ

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

これでgoも一般のクソ言語の仲間入りだね。

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

エラーハンドリングとジェネリクスは弊害か多い？？
エラーハンドリングなんかしちゃだめだって主張？？

**デフォルトの名無しさん** · 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

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