TypeScript part3

レス数が1000を超えています。これ以上書き込みはできません。
1デフォルトの名無しさん
垢版 |
2018/04/26(木) 21:48:23.07ID:mMDBzDaB
http://www.typescriptlang.org/

JavaScript that scales.
TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.
Any browser. Any host. Any OS. Open Source.

part1
https://peace.5ch.net/test/read.cgi/tech/1349187527/
part2
https://mevius.5ch.net/test/read.cgi/tech/1430386649/
2021/12/30(木) 19:36:08.35ID:zuTar3e4
>>968
このコードは説明のためのスニペットだ
現実的にこんなコード書くわけないだろ
現実的には先に挙げたような状況でanyと戦わなければならない
2021/12/30(木) 19:44:03.93ID:18t9WvJQ
>>966
>>970
なんの為のバリデーションとタイプガードだよ。
どこで間違った型が入りうるかなんか普通把握できるでしょうに
2021/12/30(木) 19:48:28.03ID:pcTvcAXH
Javascriptのスーパーセットという最大のセールスポイントを見てなさすぎだろ
構造的部分型も便利だしany型なんて使うときには型ガードするよね
型に関してはJavaより好きだわ
2021/12/30(木) 19:51:25.70ID:HvA/IBjD
Nullableを長年放置してたり文化的にも言語的にもImmutableを軽視してきたJavaもちょっと信用できないですね
2021/12/30(木) 19:59:03.54ID:zuTar3e4
>>971
バリデーションってのは値が正しいかどうか検証するものであって型が嘘をついているかどうか調べるためのものじゃない

どこで型が嘘をついているか確実に判断することはむずかしい
自分達の管理するコードベースの外界とのI/Oは全て疑わしい
先も述べたようにJsonのパース、ApiのIO、DBのIO、野良ライブラリのIO
疑わしい箇所が多すぎる

型が嘘をつかない言語なら外界とのI/Oの型定義が信用できる
信用できない領域がグッと一気に減る
だから型は嘘をついちゃいけないし
簡単に嘘をつける言語仕様は絶対におかしい
2021/12/30(木) 20:05:16.00ID:zuTar3e4
>>972
構造的部分型もわかりにくいバグの温床だな
anyよりは全然マシだが
まあ楽なのは楽だよそれはわかる
ただ楽なのと安全でりかいしやすいのとは同じじゃないからね

typeは俺が言ったような真の意味で型安全を担保するための仕様
interfaceは構造的部分型でサボるための仕様
こう使い分ければよかったんだろうな
2021/12/30(木) 20:09:20.24ID:zuTar3e4
>>972
セールポイントであり最大の弱点でもある
思い切って互換性切った方が絶対上手くいってた

>>973
まあ先発の古い言語だからある程度は仕方ないね
Null安全は対応してきてる
イミュータブルは昔から使えてた(final)
2021/12/30(木) 20:42:46.31ID:18t9WvJQ
>>974
型さえあってりゃどんなライブラリも安全安心だと思っているのか……
2021/12/30(木) 20:51:38.40ID:iK2C+Pgo
>>977
ちゃんと読めてます？
「信用できない領域がグッと減る」って書いてあるでしょ？

型安全であれば全てが安全なんてことはない
これは常識
でも型安全ならそうでない場合に比べて大部分が安全になる
これも常識

そしてTSは一見すると型安全であるかのように見えるけれど
型が簡単に嘘をつける言語仕様のせいで実は型安全ではなく安全でない言語である
これが私の主張
よく読んでね
2021/12/30(木) 21:06:33.94ID:18t9WvJQ
>>978
お、これは失敬
2021/12/30(木) 21:26:07.36ID:XEA11GKy
>>966
あんたの言う「型が嘘をつく」の意味がよくわからんが。オレオレ用語じゃなくて一般的な用語で説明してくれんかな。

>先も述べたようにJsonのパース、ApiのIO、DBのIO、野良ライブラリのIO
>疑わしい箇所が多すぎる

嘘をつくもなにも、JSONはそのJSON自体の構造以上の型を主張したりはしないが。
それを勝手に別の型と見做したとしたらそのコードの方に問題があるわけだろう。
2021/12/30(木) 21:31:50.13ID:XEA11GKy
>>967
ああなるほど。
型の合わせ方がわからなくてasやanyで誤魔化したらバグったってのの逆恨みか。
2021/12/30(木) 21:32:15.17ID:yBt1j67p
型が嘘をつくってのは
コンパイル時に指定した型以外の値が入ってることがある
入れることが簡単にできるということ

type X = { foo: string }
function xxx(): X

例えば↑こういう定義があったとする
実際にxxx()の戻り値が文字列型のfooという属性を持っているかどうか？
それはソースコードを隅々まで読んで間違いないことを確認するまでわからない

コードはXという型はfooという文字列型の属性を持っていると主張しているわけだが実際にはそうでない場合がある
これを俺は型が嘘をついていると表現する
2021/12/30(木) 21:33:00.94ID:yBt1j67p
>>981
ちげーよ
2021/12/30(木) 21:36:23.80ID:yBt1j67p
JavaやC#ではこういう事は起こらない
正確には低レベルAPIでメモリを不正に書き換えれば起こせるが無理すれば起こせないこともないと言った程度
JavaやC#ではXがfooという文字列型の属性を持っていてxxxの戻り値の型がXであると書いてあったらそれを信用していい
JavaやC#は型が嘘をつかないからだ
2021/12/30(木) 21:37:07.94ID:XEA11GKy
>>982
？
おめーのtscはそれコンパイルエラーにしてくれないの？
2021/12/30(木) 21:39:39.80ID:rc2c+xCv
>>985
本当に恥ずかしいからお前はもう黙ってろ
2021/12/30(木) 21:39:49.15ID:yBt1j67p
>>985
しない
2021/12/30(木) 21:42:03.35ID:18t9WvJQ
そんなにTSが嫌いならずっとJavaなりC♯なり使ってれば良いじゃん
2021/12/30(木) 21:45:32.05ID:XEA11GKy
>>987
コンパイルエラーにならない function xxx() の例よろ。
2021/12/30(木) 21:57:10.00ID:hxNkeOah
>>988
そだね
選択権があるプロジェクトなら必ずそうしてるよ
2021/12/30(木) 21:59:52.63ID:hxNkeOah
>>989
function xxx(): X {
return {
foo: bugLib.getStringValueEvil();
}
}
2021/12/30(木) 22:09:49.35ID:XEA11GKy
>>991
？
bugLib.getStringValueEvil() がstringと宣言されていればコンパイルが通るけどそっちが嘘だったって話？
2021/12/30(木) 22:21:35.89ID:hxNkeOah
>>992
そう
2021/12/30(木) 22:24:35.31ID:XEA11GKy
じゃあ bugLib.getStringValueEvil() はどうやって嘘をついたわけ？堂々巡りだが。
2021/12/30(木) 22:28:29.05ID:hxNkeOah
>>994
さあどうだろうな？
だから>>982でソースコード隅々まで見たら…って書いたんだけどね

JavaやC#だったら型だけ見ればああこの戻り値のfoo属性は文字列なんだなと信頼できる
ソースコードを隅々まで見る必要はない
なぜなら型が嘘をつかないからね
2021/12/30(木) 22:34:32.46ID:rc2c+xCv
anyなんかから型変換する際にランタイムチェックを追加するオプションはあっていいとは思うがTypeScriptにとってのno goalだから無いのも仕方ない
型安全性だけに拘るならTypeScriptは適当じゃないのはそれはそう(そもそもがoptional typeでしかない)

他の要素も考慮すれば個人的には悪い選択肢じゃないのでJavaScriptよりはTypeScriptを選ぶけども(C#やJavaと比較するかは目的による)
2021/12/30(木) 22:38:38.66ID:XEA11GKy
ようはTypeScriptに限らず強い型付け以外全否定ってことかね
2021/12/30(木) 22:56:16.20ID:XEA11GKy
次スレ立てるよ
http://www.typescriptlang.org/

JavaScript that scales.
TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.
Any browser. Any host. Any OS. Open Source.

part1
https://peace.5ch.net/test/read.cgi/tech/1349187527/
part2
https://mevius.5ch.net/test/read.cgi/tech/1430386649/
part3
https://mevius.5ch.net/test/read.cgi/tech/1524746903/
2021/12/30(木) 22:57:42.38ID:XEA11GKy
TypeScript part4
https://mevius.5ch.net/test/read.cgi/tech/1640872622/
2021/12/30(木) 23:01:37.83ID:chdQ4etC
>>995
それって型指定のバグなわけで、バグを回避する為に他の言語でもソースコード全部読む必要あるのは変わらないのでは……
10011001
垢版 |
Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 1344日 1時間 13分 15秒
レス数が1000を超えています。これ以上書き込みはできません。
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況