次世代言語9[Haskell Rust Kotlin TypeScript Dart]

■ このスレッドは過去ログ倉庫に格納されています
2018/03/06(火) 10:09:15.60ID:x/Au45rc
スレタイ以外の言語もok

前スレ
次世代言語Part8[Haskell Rust Kotlin TypeScript]
http://mevius.5ch.net/test/read.cgi/tech/1512137301/
2018/04/07(土) 12:55:34.16ID:y0NHVjlZ
Goみたいな不安定なものよく使うな
2018/04/07(土) 13:26:35.73ID:LOY6Fa8O
Cはグローバル変数の使い方やOOPのやり方みたいなローカルルールないと無理っぽい
Cがいくら安定してもローカルルールは安定しない
2018/04/07(土) 13:43:27.23ID:iO/NW/s5
流石にひどいw
2018/04/07(土) 16:18:41.57ID:dIEw27mY
>>752
まじでー。普通のcrudなweb案件とかもあるならやってみたい
2018/04/07(土) 17:28:50.26ID:1M9Ik5ns
どこが不安定なんだろ?
2018/04/07(土) 18:15:56.12ID:LOY6Fa8O
小学校でプログラミングを教えろ、ただし中学レベルの数学を教えるな
Goがやりたいことは大体これと同じだろ
2018/04/07(土) 18:27:40.19ID:2Xz4c+5M
何か問題でも?
2018/04/07(土) 19:04:22.55ID:LOY6Fa8O
どこかの評論家に否定される前に、自分で考えて肯定すればいいのに
自分で考えるのをやめたら、否定してくださいと言ってるようなものじゃないか
2018/04/07(土) 19:20:07.17ID:y0NHVjlZ
>>759は自分で考えてなんの問題もないと肯定したレスだろう
2018/04/07(土) 19:59:52.92ID:65xgSjRP
>>758
まあGoogleの中の人は例外すら理解できなくてGoに盛り込まなかったくらいだからな
Googleのプログラマは小学生レベル
2018/04/07(土) 20:02:15.13ID:y0NHVjlZ
いやいやいや
764デフォルトの名無しさん
垢版 |
2018/04/07(土) 20:42:13.27ID:n5lWGq5m
>>762
例外なんて機能を欲しがるとか正気か?
タプルかタグ付きユニオンのある言語には例外なんて必要ない
むしろ、無いほうがよほど筋が良い。よりによって例外かよ…

Go言語の問題はもっと他にあるよね
ジェネリクスとかNil安全とかラムダ式とかイミュータビリティとか
2018/04/07(土) 20:45:00.99ID:y0NHVjlZ
AirPlayさんなんだろ
766デフォルトの名無しさん
垢版 |
2018/04/08(日) 00:14:21.96ID:Dxb/j7Bg
>>764
100得ナイフを欲しがっても無理だぜ。
お前さんは、刺身包丁では肉を斬りにくいと文句いう人なの?
2018/04/08(日) 00:16:58.41ID:kOs0IpX+
ガイガイ
2018/04/08(日) 00:44:53.47ID:V9VuwMAu
ここでのクソみたいな議論に時間を使うことが一番コスト高ってことを
goを使ってる人はわかってる。
769デフォルトの名無しさん
垢版 |
2018/04/08(日) 00:59:11.92ID:yrhx1H5B
>>764
例外ってか戻値無視してたらコンパイルエラーにする構文がほしい。(すでにgoにあったらスマヌ)
ライブラリやミドルウェア作るとき、ここでエラーならそれ以上処理進めんなってことあるので、アプリ側のエラーハンドリングを強制させたい。
それができないからやむを得ず例外で終了させてる。
2018/04/08(日) 01:06:05.49ID:+FJwvftX
>>769
例外とコンパイルエラーを同じものと考える神経がわからん。
実行時にまずい処理が来たらgoのプログラムを強制終了させたいならpanicがあるが。
2018/04/08(日) 01:11:44.09ID:+FJwvftX
つーかgoが気に入らない理由に例外を上げるけど、例外ってそんなに良いもんかね?

例えばこの関数は例外を上げる可能性があるからtryブロック内に書かないとコンパイルエラーになる言語ってある?
それくらいやってくんないと例外を使う意味って、エラーハンドリング問題の先送りでしかないから。
772デフォルトの名無しさん
垢版 |
2018/04/08(日) 01:12:25.64ID:DdcJdhQn
>>766
問題って書いたのが誤解を招いてしまったかな…
別に上記の全てが無いとダメって言ってるわけじゃないよ。あったら嬉しいなくらいにしか思ってない
けど、例外なんて邪魔にしかならん機能を欲しがるくらいなら他に欲しいものがいくらでもあるだろと思って…

あと、揚げ足取って悪いけど、100徳ナイフを欲しがってるなら例外も欲しがってるはずだろ…
例外と継承を捨てたのはGoの英断
2018/04/08(日) 01:16:07.05ID:kOs0IpX+
>>772
いやお前は悪くない。相手が意味ワカラン奴なだけだ
2018/04/08(日) 01:46:25.89ID:21utqBEE
java
但しランタイム例外は除く
775デフォルトの名無しさん
垢版 |
2018/04/08(日) 02:00:48.53ID:DdcJdhQn
>>771
>例えばこの関数は例外を上げる可能性があるからtryブロック内に書かないとコンパイルエラーになる言語ってある?
Javaの検査例外とSwiftの例外はtry必須だよ。
けど、try必須だと書くのが面倒なんだよね。実際、Javaでは非検査例外のほうが主に使われてるし…
検査例外と非検査例外を場合によって書き分けるのがJavaの理想なんだろうけど、現実はそうじゃない…
Swiftの例外はtryの書き方が何種類かあるからJavaより使い易くはなってるんだけど
Rustと同じでタグ付きユニオン(enum型)あるから別に必要なくない?ってなる
Rustはエラー処理にenumのResult型を使うけど、Swiftでは例外を使うのがマナーなのかな?
2018/04/08(日) 02:16:09.65ID:+FJwvftX
>>775
swiftはそうだったな。
たしか例外周りはswift2で追加実装されてウゲーってなった覚えがあるような。
swiftの言語仕様の変更は凄まじいものがあるよな。もうswift4だっけか?
正直swift信奉者≒apple信者じゃないと説明がつかない。
言語仕様をミニマムに抑えて熟考するgoを見習ってほしいわ。
2018/04/08(日) 02:26:12.80ID:+FJwvftX
>>775
つまり結局goのエラーハンドリングの面倒くささと一緒になるってことだよな?

goのエラーはただの値だから
構造体のメンバ変数に格納先を用意してやれば、
後で纏めてチェックしたり、
一回でもエラーが発生したら処理を中断する
みたいな書き方は全然できる。

そのへんはgo blogに記事があった。
2018/04/08(日) 03:04:32.63ID:N7to3hps
>>771
goの例外不在についてはerrorの握りつぶしが書きやすい上に気づきにくいのが不満
握りつぶしに比べたら先送りのほうがまだ良い
>>769が戻値無視してたらコンパイルエラーって言ってるのはそこが理由でしょ
2018/04/08(日) 03:14:34.94ID:+FJwvftX
>>778
あー。なるほどと思ったけど例外処理は先送りしたあげく、結局とこでも処理せず終わるパターンあるよね。
握りつぶしが簡単にできるのはどっちも一緒では?
2018/04/08(日) 03:17:34.48ID:N7to3hps
>>779
ハンドルされない例外は処理の中断になるけど、
握りつぶしは処理の続行になる
中断のほうが良い、と思う
2018/04/08(日) 03:49:10.38ID:DdcJdhQn
>>780
例外の一番の問題は予想外の場所で例外が不必要にキャッチされて、その上で
握りつぶされてしまった場合、握りつぶされた場所を特定するのがかなり面倒臭いこと。
そんなコード書くヤツが悪いと言いたいが実際にいるんだからしょうがない…
どこで握りつぶされるか分からんリスクを背負うくらいならその場で握りつぶされた方がまだいい

因みに、エラーハンドリングに関してはRustのResult型が最も筋が良いと思ってる
Result型なら故意に握りつぶそうとでもしない限りは簡単には握りつぶせない
2018/04/08(日) 04:07:01.05ID:N7to3hps
>>781
goのほうが握りつぶしが書きやすいからこそ、どこで握りつぶされるか分からんリスクはgoのほうが大きい、と思うんだよなあ
783デフォルトの名無しさん
垢版 |
2018/04/08(日) 08:46:33.77ID:Dxb/j7Bg
>>781
トラブルシューティングの為に、キャッチした時点でロギングしないの?
2018/04/08(日) 09:00:51.10ID:RUgiqDA/
Cのprintfの戻り値を毎回欠かさずチェックしてる人だけが例外に石を投げなさい
2018/04/08(日) 10:19:07.88ID:xmyFoIZI
戻り値の握り潰しは局所的・静的に判断できるけど例外はそうじゃないからなぁ。
それこそ例外を起こしてみないと見つけるのが困難だったりして。
2018/04/08(日) 10:23:53.74ID:+rfxRhvD
例外は継続的な改良に対応しやすいのがメリットなんだよな
取りあえず最初は例外安全だけ意識して例外は上の方でまとめて処理しておいて、
あとでより丁寧な取扱いが必要になったときは問題なく対応できる
もちろん、検査例外とかいうビチグソは無い前提だが
2018/04/08(日) 11:36:37.63ID:Bf+GYw8s
最初はexit
exitの握り潰しが必要になったら例外で
788デフォルトの名無しさん
垢版 |
2018/04/08(日) 11:42:04.86ID:YK+KPtHu
>>758
1から10までの整数を足すのに
ループで順番に足す方法を教える様なのが
今の日本のプログラミング学習(教育)だからな
そんなんじゃだめ
2018/04/08(日) 13:08:16.40ID:mQRLIlYG
このスレも例外が理解できない幼稚園児ばっかかよ
Goみたいな言語が流行るわけだ
2018/04/08(日) 13:22:55.27ID:Bf+GYw8s
自分で選んだ言語がそれだったらそれでもいいよ
より良い言語を後で見つけたら自分が馬鹿だっただけで済む
しかしそれを選んだのが会社や国家だったら馬鹿にしても炎上するし擁護しても炎上する
2018/04/08(日) 13:39:52.93ID:T4sPcvM1
このスレの議論はほんとレベルが低いな
間違った使い方をしたときどちらがマシかでしか優劣をつけられないのか
792デフォルトの名無しさん
垢版 |
2018/04/08(日) 13:50:33.26ID:DdcJdhQn
>>782
なんか会話が噛み合わないなと思ってたがやっと理由が分かった気がする。
>>782の言う"どこ"はGoのエラー(戻り値)は握りつぶしがしやすいから
誰が"どこ"でエラーを握りつぶすコードを書くか分からないって意味の"どこ"だよね。
俺の言う"どこ"は例外がスローされた場所に対して
キャッチされる場所が"どこ"か分からないって意味の"どこ"なんだよ。
キャッチされる場所が分からないとデバッグ時に探すのが面倒なんだよ。
Goみたいに戻り値としてエラーが返されるとエラーの発生場所と
握り潰した場所は必ず一致するからデバッグしやすい。
結局、従来の例外はgoto文と同じでフローが飛ぶから気持ち悪いってのが俺の意見。
2018/04/08(日) 14:09:14.32ID:Bf+GYw8s
従来の言語にはexitがあるから例外がない
SmalltalkやJavaScriptにはexitがないから例外があるんだろう
794デフォルトの名無しさん
垢版 |
2018/04/08(日) 14:12:58.97ID:DdcJdhQn
>>791
でも、次世代言語って間違った使い方(プログラマによるミス)をさせないように
制限をかける意味合いが強くない?Null安全とかその典型だと思うんだけど。
オレは絶対に使い方を間違えないって言うんならC++, C#とかを使ってろよってなるし…
2018/04/08(日) 14:13:54.54ID:aL28Ce5R
>>792
戻り値のエラーを握りつぶされると、不適切な状態で動き続けるから、デバッグが困難になると思うんだが。
例外の握りつぶしでも同じ事だけど、構文としては、例外の握りつぶしの方が見つけやすいと思うけどね。catchブロックでしか細工できないから。
goだと正常な返り値の隣に,_つけるだけで握りつぶせちゃうから、見つけづらいんじゃないかな。
2018/04/08(日) 14:15:23.81ID:V9VuwMAu
間違えを考慮しないシステムの恐ろしさを全くわかってない奴はそもそも話にならん。
プログラミングを語る資格がない。
797デフォルトの名無しさん
垢版 |
2018/04/08(日) 14:23:41.21ID:DdcJdhQn
>>795
すまん。よく考えると確かにデバッグはどっちも面倒なことに変わりないわ。
ただ、個人的にはtry-catchも,_もどっちも見つけづらさは大して変わらないと思ってる。
デバッグ時じゃなくて、普通にコードを読むときに戻り値でやったほうがフローを把握しやすいってことが言いたかった。
2018/04/08(日) 14:26:14.02ID:aL28Ce5R
返り値でエラーを判別するコードだと、本来やりたいことの次にほぼ必ず、エラー判定処理が入るから、可読性が低いんだよね。
昔、C使ってた頃は、そういうところが嫌でたまんなかったし、ひどいのになると主要な処理が全部、条件部分で行われてて、if文の連なりしかないコードとかみたし。
正常系をリーダブルに書くには、例外の方が気持ちいいなと思うよ。
2018/04/08(日) 14:32:30.43ID:kugCg6kv
そのあたりはEitherが良いと思うんだな
2018/04/08(日) 14:35:54.54ID:aL28Ce5R
後、最近のIDE使ってると、todoをコメントに入れとけば、あとでそれを、まとめて見直せるから、取り敢えず、try-catchして、catchのところはtodoにしといて、まず正常系を一通り買いてから、あとで異常系に対処するっていうワークフローにできるのが、例外の利点かなと思う。
2018/04/08(日) 14:37:10.66ID:N7to3hps
>>792
デバッグ時に、どこかでエラーが握りつぶされてるかもしれない、というパターンを考えないといけない、という意味で「どこ」
しかもそういう状況は>>795の言うように不適切な状況で動き続けるから
握りつぶした箇所と不具合の発生箇所がかけ離れることも多い
だから、goに限ったことではないが、エラーや例外の握りつぶしはデバッグしづらい
例外がどこでcatchされてるか探すのは、握りつぶし探しに比べたらまだ簡単
802デフォルトの名無しさん
垢版 |
2018/04/08(日) 14:37:23.36ID:DdcJdhQn
>>799
タグ付きユニオンがある言語ならそれが一番だと思う。
前にも言ったけど、エラーハンドリングに関してはRustのResult型が一番筋がいいと思ってる
でも、Goにはタグ付きユニオンがないからなあ…
2018/04/08(日) 14:51:49.81ID:aL28Ce5R
goは本格的には使ったことないけど、無視はできないんで、いろんなコードを見てるんだけど、今のところの感想としては、goって、書き手の思考を遮らないというところに重きを置いてる印象。
deferなんか、なんか開いたらあとで閉めるけど、忘れない内にその処理を予約しとこうみたいな発想かな。
自分は書くことより読むことを重視するタイプなんで、あまりgoには向いてないなあと思ってる。
2018/04/08(日) 14:51:50.04ID:Bf+GYw8s
副作用禁止ならexitも例外も禁止だからEitherがある
2018/04/08(日) 15:22:23.64ID:gQU7xBEC
stack traceもしらんのか
2018/04/08(日) 15:29:06.45ID:drN9+cfC
握りつぶしてるところでスタックトレース出力するんだよ!

('、3_ヽ)_??
2018/04/08(日) 15:51:49.24ID:4BboKQKO
maybe, eitherがある言語やった後に無い言語はしんどい
2018/04/08(日) 17:20:17.22ID:kOs0IpX+
Maybe, Eitherは強い。ほぼ必須な体になってしまった
2018/04/08(日) 17:47:41.66ID:iGi236dt
Eitherは初見だとそれがエラー処理用によく使うっていうことが
名前から全然伝わってこないところだけが嫌い
2018/04/08(日) 17:58:42.79ID:+FJwvftX
>>803
書きやすさと読みやすさは同一だと思ったが。特にdeferとか大体close処理では?
open直後はdeferにclose処理書いてあったほうが読みやすくないかな?
2018/04/08(日) 17:58:46.39ID:AFrzJyvZ
たし蟹
2018/04/08(日) 18:04:30.90ID:ikNNlzZg
リューナイト
2018/04/08(日) 18:14:07.95ID:V9VuwMAu
defer はスコープの終わりで暗黙的に動くクラスのデストラクタより
コード部分で明示した方がわかりやすくね?って発想じゃないかね。
こういうのは好みだったり書いてるアプリの種類で分かれそうな気はする。
814デフォルトの名無しさん
垢版 |
2018/04/08(日) 18:50:09.38ID:BxgydgxS
c++17の [discard]はどうかね?
815デフォルトの名無しさん
垢版 |
2018/04/08(日) 18:52:29.42ID:BxgydgxS
間違えた nodiscard
816769,815
垢版 |
2018/04/08(日) 23:39:43.80ID:yrhx1H5B
>>792
> Goみたいに戻り値としてエラーが返されるとエラーの発生場所と
> 握り潰した場所は必ず一致するからデバッグしやすい。

俺もそれには同意で、更に一歩すすんでc++17の nodiscard属性みたいな指定ができるてほしいんだよ。デフォルトはコンパイルエラーで。
2018/04/09(月) 00:41:14.72ID:R+tVusAV
Fortran のIO関係のエラー処理は優れてると思うわ。
Open文にoptionalのerr引数を渡して置けば、エラーが出てもerrに値を入れて続行。err引数を渡してなかったらエラーが出たら異常終了
2018/04/09(月) 00:59:36.33ID:1PTa96/6
goのdeferは、その中で起こったエラーを外に通知する(簡単な)方法がないってんで
槍玉に上げられてなかったっけ?うろ覚えだけど
2018/04/09(月) 01:32:15.01ID:l0nazyXh
>>818
一番簡単な方法は名前つきreturn変数を使うことだから簡単ちゃ簡単
だが正直名前つきreturn変数がそもそもクソ構文
2018/04/09(月) 06:40:40.00ID:ON56dtQ5
>>817
異常終了してはならないUIもある
UIが言語に影響を与える
2018/04/09(月) 07:57:09.29ID:1PTa96/6
>>819
はー、名前付きreturn変数なんてあったんだ
しかし本来の流れによるerrがある場合は握りつぶさないようにしないといけないし、真面目にやると分岐が入り組みそうだな
2018/04/09(月) 07:59:50.20ID:R+tVusAV
>>820
いやそのためにerr引数があるのよ……
2018/04/09(月) 08:27:01.39ID:D454qjGx
>>816
MSはかなり昔からそういうの力を入れていて独自仕様で実現してるな。(SAL注釈)
SDKのヘッダなんかで見かける _Check_return_ とかとかいうやつ。VSの「コード分析」でチェックしてくれる。
824デフォルトの名無しさん
垢版 |
2018/04/09(月) 08:42:34.03ID:mPPENYW6
理想はエラーハンドリングを書いてなかったらコンパイルエラー。
(エラーハンドリングでエラー握り潰すやつは流石にそこまで面倒見きれない)
次点は強制終了。その際にエラーがどこで何故起きたのかって情報を出せること。
一番悪いのはそのまま処理進んでサイレントクラッシュ。

こんな感じ。
2018/04/09(月) 08:51:45.67ID:2cUxs1pv
コンパイルエラーは、そこまで強烈にエラー対応必須にしたらスクリプトみたいな「まずはとりあえず動くコードを書いて様子を見る」っていう使い方は出来なくなるな
826デフォルトの名無しさん
垢版 |
2018/04/09(月) 09:45:04.94ID:9pBeshvD
となるとrustやな
2018/04/09(月) 09:59:14.65ID:RBhArkXv
そういやClojureってどうなったん?
2018/04/09(月) 10:18:17.46ID:aahOEQux
Goの名前付きreturn使うとアセンブリまで落としたとき、コードが少しきれいになるぞ。
俺は好き。
2018/04/09(月) 10:48:34.89ID:1PTa96/6
>>828
返値の最適化だけが目的なら初めからresult変数方式のやつ使えば
Pascal、Eiffel、あとFortranもそうだぞ
2018/04/09(月) 11:33:31.90ID:ON56dtQ5
デバッグは自分との戦い
だが最適化は自分が速くならなくても相手が遅くなれば勝てる
他人の足を引っ張る要素があるからカオスになる
2018/04/09(月) 12:00:22.27ID:aahOEQux
>>829
だけが目的と言うか、優劣をつけたりGoを使う理由にはあんまりしてないが。

例外は俺も好きじゃないな。
ただのちょっと見た目のきれいなgotoであって、フローとしては全然きれいじゃないし、
finallyで複数のリソースの開放しようとしたらどこまで進んだか管理するしかなくなるし、
各エラーで細かい処理が必要だったら結局スコープの狭いtry-catch書くことになるし、
毎行errチェックしたり、いっそ無視したりするのとレベルが変わらん。

deferは、実際に使えた直後に開放を予約できるから価値がある。

良くできてると思うけどな。
832デフォルトの名無しさん
垢版 |
2018/04/09(月) 12:16:00.98ID:Wtc2x12J
>>825
そこは、エラー戻値無視するな構文を用意してれば良い
2018/04/09(月) 12:16:21.64ID:ebJj02XJ
>>829
え、すまん。よく知らないんだけど、Fortran って関数で配列を返してもサブルーチン的ないい感じに最適化してくれるの?
2018/04/09(月) 13:04:43.93ID:1PTa96/6
>>833
されるよ。全部の実装でそうとは断言できないけど
要するに>>697のretvalが直接返り値用の変数として見えるってだけ
2018/04/09(月) 14:38:02.08ID:50KKUeFL
何でここの人たちエラーをその場で処理するのが当然だと思ってるの?
普通は上に投げるよね?
2018/04/09(月) 14:47:49.87ID:iBEYls0Z
>>835
その「上」の関数ではどうすんの?また上に投げるの?
2018/04/09(月) 15:03:10.07ID:FuUgA4s9
一番上のハンドラでまとめて受け取る
2018/04/09(月) 15:18:43.79ID:ml5ntbUH
結局人類にgotoは必要だったんだ!
2018/04/09(月) 16:05:31.09ID:O1tgNFRh
なんで2ちゃんでこういう議論をすると最期は必ずアホアホ展開になるの?
840デフォルトの名無しさん
垢版 |
2018/04/09(月) 16:19:21.64ID:mPPENYW6
>>835
俺は、その上側でのエラーハンドリングを必須にすることができて欲しいという意見。c++17の nodiscardみたいなの。
rustのResult型や他言語のEither勉強不足でわからない。スマヌ
2018/04/09(月) 16:26:17.23ID:ON56dtQ5
>>835
マルチスレッドが普通になったから
上に投げるよりスレッドの外に投げる
842デフォルトの名無しさん
垢版 |
2018/04/09(月) 16:39:51.89ID:wyYx8QLn
rustのResultは検査しないとコンパイラにワーンされるよ
2018/04/09(月) 18:13:02.99ID:aahOEQux
>>835
上に投げるとしても、戻り値で明示的に戻せば良いだろう。
とりあえず手に負えないからだれか呼んだ人処理して、って言って、だれの手にも負えない可能性がある、ってのは良くないと思うよ。
普通とか言い始めると誰の普通かはっきりしないから、それはおいといて。

goでも、ホントに戻り値なしで呼ぶとき以外(何かしらの値とともにエラーが帰ってくる時)は、_で明示的に握りつぶさない限り受けた変数に触らないとコンパイル通らないし。
何一つ受けずに呼び出したり、触った結果握りつぶしたらコンパイルは通っちゃうけど。
2018/04/09(月) 18:20:13.54ID:2gnvm26g
例外安全を徹底してればどこでキャッチしようが手に負えない例外なんか無いだろ
それを不安に感じるのは、個別の事情にばかり気を取られて全体の一貫性を疎かにする典型的な日本人の思考パターンだ
(メモリ不足など、どこでキャッチしても対処のしようがないものは除く)
2018/04/09(月) 18:26:58.77ID:aahOEQux
>>844
徹底する、というルールベースな時点で「手に負えない例外は存在しない」という事を言い切るのは不可能でしょ。
メインロジックではアプリケーションの総合ハンドラでメッセージ出してリトライさせれば手に負えるはずの例外だったが、
なんの因果かそいつがバッチプログラムに使われる事になった時とかなんて、前提条件や処理フロー自体が変わる典型だと思うが。

最初からエラーとして返しとけば、なんの問題もなく流用できるでしょ。
常に呼び出す親が(さらに親へ丸投げするかの選択も含め)処理することが義務付けられてるほうが明示的だよねって言ってるんだが。
2018/04/09(月) 18:38:57.68ID:2gnvm26g
>>845
戻り値なら流用しやすいという根拠は?
なんとなく手抜きっぽい、で批判する典型的な日本人的思考だね
2018/04/09(月) 18:44:44.78ID:ml5ntbUH
チョンが何か言ってらぁww
2018/04/09(月) 18:45:14.09ID:2gnvm26g
あと、例外機構を持つ言語には例外安全を維持するための仕組みが組み込まれているのが普通だから、
それを「運用ルールに頼っている」と切り捨てておきながら戻り値は言語の補助があるから安全だと主張するのはダブスタの詭弁だ
2018/04/09(月) 18:45:52.21ID:w9Q1JF4q
>>846
書いてるだろ。
明示的に処理するからだよ。
すっぽぬけて何処か別の定義されている「はず」のハンドラに任せない所。

全関数にtry-catchを書いてて、親にもtry-catchが漏れなくあって、明示的に再throwしてたり、異常な場合はちゃんと死ぬ事が保証できてるなら、それでもいいけど。
この関数では呼び出し先がthrowすることもあるけど、親にハンドラがあるから大丈夫、が一箇所でもあったら認めないが。

何か、戻り値でエラーを返せる言語使ったことある?
パターンマッチングでエラーか結果か判定できたり、複数結果を返せたり、引数でエラーをどう処理するから指定できる言語。
使ったらわかると思うけど。
2018/04/09(月) 18:50:39.85ID:w9Q1JF4q
>>848
ダブルスタンダードでもないよ。

維持するための仕組みがあったって、維持していると保証がない限り維持は出来てないのと同じでしょ。

recoverがあるから、catchできるのと同じだからエラーハンドラここに書くって言う奴と同類に見える。
2018/04/09(月) 18:53:07.60ID:w9Q1JF4q
暗黙的に握りつぶす/無視する、か、明示的に握りつぶす/無視する、だけの違いなんだが。
なんでわかんないんだろう。
2018/04/09(月) 18:53:14.64ID:2gnvm26g
>>849
そんなことはプログラミングのメインストリームがとっくの昔に通った道なんだよ
Javaの失敗をトレースしてるようにしか見えない
Javaの検査例外がなぜ失敗したかを調べてみたら?
2018/04/09(月) 18:55:18.76ID:w9Q1JF4q
>>852
「そもそも例外があるから、こういう失敗するんだ」を「例外無くして明示的にやろう」
と言語仕様で厳しくやってるだけで、
トレースしているどころか、トレースしないように別ルート取ってるだろ。
どこがトレースしてるの?
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況