次世代言語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(火) 16:07:02.24

C言語
-Wbool-compare -Werror

**デフォルトの名無しさん** · 2018/08/28(火) 17:40:19.38

>>145>>147
既存文法に依存してるので別の文法になる可能性もあるのに意味不明
コミュニケーション苦労しそう

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

非建設的でコミュ障な回答ありがとうございました
非建設的な馬鹿は死ななけば治らないのですね

**デフォルトの名無しさん** · 2018/08/28(火) 18:12:51.68

>>147
それはバカみたいではないだろう。
checkedがboolとして評価したときに真なのと、checkedがtrueと同値なのは全く別問題じゃん。
if(pHoo)と書くのは正しくない、と言われるならわかるが。

処理系依存の質問ならそう書いてくれ。

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

言語依存だな

**デフォルトの名無しさん** · 2018/08/28(火) 18:38:49.96

昔のCはbool型がない
整数やポインタを比較するだけなので問題なかった

自称モダン言語がなぜか古いCの文法を真似するから問題になる

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

if 文の所で計算結果が bool 型以外になる場合にどう扱うかの問題だな。
Cの場合は元々そういう型がなくて0か0以外かでしか見ない。
Javaだとboolean以外になったらコンパイルエラー。

**デフォルトの名無しさん** · 2018/08/28(火) 19:06:58.35

>>147
エアプだけどlintでできるんじゃないの？

**デフォルトの名無しさん** · 2018/08/28(火) 19:33:05.17

>>154
cppでも、falseな変数をインクリメントしたらtrueになったり、
0以外の何を代入しても1になったり、処理系依存だとはいえ無茶苦茶だしな。

**デフォルトの名無しさん** · 2018/08/28(火) 19:42:21.73

ってかchecked != trueをコンパイルエラーにするなら、右辺がtrueであるかを評価してからコンパイルエラーにすべきだろうし
(checked != (true || false))

#define PRODUCTIONMODE true
if((status.foo && param.bar)!=PRODUCTIONMODE)

みたいな式が書けなくなるし、あんまいい事無いだろ。
列挙の網羅性を文句言われるのとはちょっと違うレベルで不便では？

**デフォルトの名無しさん** · 2018/08/28(火) 19:44:01.42

ま、Cは元々その辺が甘く作ってある言語で移植性のあるアセンブラのように使うためのものだからそれはそれで良いと思う。
それが嫌なら別の言語使うか自分で言語作ればいい。仮に自作する技術力がなくても仕様公開しとけば誰かが作ってくれるだろう。

**デフォルトの名無しさん** · 2018/08/28(火) 19:52:51.98

こういうくだらない話のが盛り上がるんだね。

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

低学歴知恵遅れ以外ないなら意図は理解できる

これはｱﾘ
　if (checkd) {}
　if (!checkd) {}
これはﾍﾟｹ
　if (checkd == true) {}
　if (checkd != false) {}

ｺﾚはあり
　checked = true;
　checked = false;

checked自体にもともとﾌﾞｰﾘｱﾝ入ってるから
ﾌﾞｰﾘｱﾝを比較してるようにみえる

ｵﾚには分かる
このｽﾚの低学歴
そらなこのｽﾚの低学歴知恵遅れには意図が分からない

つまり低学歴知恵遅れしかいないこのｽﾚできくのが間違い

**デフォルトの名無しさん** · 2018/08/28(火) 19:56:06.20

半角カナボーイがなにをいうか

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

そらな？

**デフォルトの名無しさん** · 2018/08/28(火) 20:02:06.98

checkd自体に真偽値入ってんのに
真偽値で比較するとか意味不明

分かる
ｵﾚだったら分かる

著しく知能が低いこのｽﾚのﾔﾂﾗには分からない
ぜんぜん質問と関係ないｱﾎな回答をする

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

>>163
真偽が入っているとは限らない。
真偽として評価される値は入っているかもしれない。
真と偽と、真として評価されることと偽として評価されることはそれぞれ違うよ。

**デフォルトの名無しさん** · 2018/08/28(火) 20:09:12.05

== true
!= false
とかいてるのにｱﾎやわｺｲﾂ

**デフォルトの名無しさん** · 2018/08/28(火) 20:10:28.78

if (conditon)
trueとかfalseとか
conditonそのものだからな

**デフォルトの名無しさん** · 2018/08/28(火) 20:18:07.88

ここで、むしろ「== true」を付けないとコンパイルエラーになる言語の入場です

https://ideone.com/TQIPIO

https://ideone.com/bvDJx1

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

無理やりnull許容型にした理由は？

**デフォルトの名無しさん** · 2018/08/28(火) 20:51:44.96

>>168

let fromSettingFile = "true"
let checked = Bool(fromSettingFile)
print( type(of:checked) )

--output-----------
Optional<Bool>

**デフォルトの名無しさん** · 2018/08/28(火) 21:16:31.72

半角さん現るｗ

**デフォルトの名無しさん** · 2018/08/28(火) 21:48:28.78

C#とかKotlinのnullable booleanは true か false との比較がいる

**デフォルトの名無しさん** · 2018/08/28(火) 21:50:40.71

checkedがNaNの時等価じゃないだろ

**デフォルトの名無しさん** · 2018/08/28(火) 21:59:42.32

ﾌﾞｰﾘｱﾝをそんな頭悪い使い方するのがそもそも間違い
もはやそれはﾌﾞｰﾘｱﾝじゃない

ﾌﾞｰﾘｱﾝにnullいれたりするような頭悪いﾔﾂが書いたｺｰﾄﾞは
えてしてundefinedになってるような更に上をいくｽｰﾊﾟｰｳﾝｺﾌﾞｰﾘｱﾝがまじってる

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

true、false、null
とかただの3ｽﾃｰﾄだからな

ｺﾚはもうﾌﾞｰﾘｱﾝじゃない
1、2、3でも入れとけばいい

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

>>174
ファジー論理学とか。よく知らんけど。

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

そんなもん表現するなら
0~1の浮動小数点入れるか
0~255の数値いれたりして
度合いを正規化する

3つだけとか貧弱すぎ
超意味ない

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

できる限り nullable を回避すべきなのはそうだけど、APIの結果(json)とかLEFT JOINの結果をデシリアライズする際に nullable を使うことはよくある

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

>>174
nullとundefinedがまた更に別

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

javascriptのクソ仕様を他に伝搬させるな

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

>>147
それをアレするのはリンダってゆうんやで

**デフォルトの名無しさん** · 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がなまじヒットしてしまったせいで
後続の言語もその悪習を真似るようになってしまった。