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/
TypeScript part3
レス数が950を超えています。1000を超えると書き込みができなくなります。
1デフォルトの名無しさん
2018/04/26(木) 21:48:23.07ID:mMDBzDaB900デフォルトの名無しさん
2021/11/24(水) 21:53:47.96ID:mN6taiyI901デフォルトの名無しさん
2021/11/24(水) 22:01:40.70ID:zBacYw4i902デフォルトの名無しさん
2021/11/24(水) 23:40:29.12ID:FcSkbZGe903デフォルトの名無しさん
2021/11/26(金) 22:12:29.88ID:+KFAtmTP Effective TypeScript
ちと古いが読んだ方がいい?
ちと古いが読んだ方がいい?
904デフォルトの名無しさん
2021/12/02(木) 17:06:08.00ID:kge1UpiO あーくそ
なんでstrictをOFFにできるんだよ
VB.NETか!
なんでstrictをOFFにできるんだよ
VB.NETか!
905デフォルトの名無しさん
2021/12/02(木) 18:20:28.57ID:Kt63btcl いやなんでfalseにするんだよ
906デフォルトの名無しさん
2021/12/02(木) 22:30:30.27ID:Ki4y/ScD 既存の JavaScript を段階的に移行したい時かな
907デフォルトの名無しさん
2021/12/07(火) 10:10:01.42ID:rXzUIf2/ 非同期がよーわからん
ワーカーを考えない場合
ブラウザでもモバイルでもバックエンドでも基本的に一本のキューにジョブを入れてって順次処理するモデル
promiseやawaitを使うと処理の前後関係は保障されるけど間に他のジョブが割り込む可能性がある
処理そのものはシングルスレッドで行われるのでpromiseやawaitを挟まない限り全てのJSコードがアトミックに実行される
fetchなどJS外の処理についてはアトミックは保障されない
こんな感じであっとる???
ワーカーを考えない場合
ブラウザでもモバイルでもバックエンドでも基本的に一本のキューにジョブを入れてって順次処理するモデル
promiseやawaitを使うと処理の前後関係は保障されるけど間に他のジョブが割り込む可能性がある
処理そのものはシングルスレッドで行われるのでpromiseやawaitを挟まない限り全てのJSコードがアトミックに実行される
fetchなどJS外の処理についてはアトミックは保障されない
こんな感じであっとる???
908デフォルトの名無しさん
2021/12/07(火) 22:24:43.13ID:aDEs4G8x JavaScript Visualized: Event Loop
https://dev.to/lydiahallie/javascript-visualized-event-loop-3dif
https://dev.to/lydiahallie/javascript-visualized-event-loop-3dif
909デフォルトの名無しさん
2021/12/08(水) 07:25:06.20ID:ff6DaDGr >>907
だいたい合ってる。基本的には処理の予約と考えるだけで済む。
JS外の処理はWebWorker含めてJS環境に干渉してこないんだから(戻り値以外)ほぼイベントとか割込と同質で特殊なものだと考える必要もなくないかな?
だいたい合ってる。基本的には処理の予約と考えるだけで済む。
JS外の処理はWebWorker含めてJS環境に干渉してこないんだから(戻り値以外)ほぼイベントとか割込と同質で特殊なものだと考える必要もなくないかな?
910デフォルトの名無しさん
2021/12/09(木) 14:21:48.83ID:h+aQCsXU なんかプロジェクトでtypescript使う流れになって今から勉強してるんだが、これ何に優れてるの?
javascriptの拡張言語で型の宣言できるぐらいがメリット?
実行するためにいちいちコンパイルもどきなことをしないといけないしデバッグ面倒で正直やりづらいとしか思えないんだが
javascriptの拡張言語で型の宣言できるぐらいがメリット?
実行するためにいちいちコンパイルもどきなことをしないといけないしデバッグ面倒で正直やりづらいとしか思えないんだが
911デフォルトの名無しさん
2021/12/09(木) 14:29:35.72ID:lTugl+ha 「正直、特別優れた言語設計でもないし、基本的なライブラリ貧弱だし、なんか色々と不安定なので、他の言語を使えるならそっちのがいい。
でもJavaScriptよりかは遥かにマシだからターゲットプラットフォームがブラウザ、ReactNativeなら積極的に使っていこうぜ」ぐらいの認識ですかね
型パズルとかゆるゆるなインターフェースとか最初はこりゃ楽チン、便利だなと思うけどメンテナンス性は疑問
あとTypeScriptは生のJavaScriptよりanyの凶悪さが増してると思う
所詮はALT JSですね
でもJavaScriptよりかは遥かにマシだからターゲットプラットフォームがブラウザ、ReactNativeなら積極的に使っていこうぜ」ぐらいの認識ですかね
型パズルとかゆるゆるなインターフェースとか最初はこりゃ楽チン、便利だなと思うけどメンテナンス性は疑問
あとTypeScriptは生のJavaScriptよりanyの凶悪さが増してると思う
所詮はALT JSですね
912デフォルトの名無しさん
2021/12/09(木) 16:46:11.49ID:V/6JaBTF >>910
watch使うとわざわざコンパイルする手間が省けるので楽だよ。あとmapファイルも出力するようにすればデバック時も面倒じゃなくなるよ。
型だけじゃなくて、同じコードで古い環境でも動くソースを吐くこともできるよ。
でも、型にメリットを見いださない人向けの言語で無いね。
watch使うとわざわざコンパイルする手間が省けるので楽だよ。あとmapファイルも出力するようにすればデバック時も面倒じゃなくなるよ。
型だけじゃなくて、同じコードで古い環境でも動くソースを吐くこともできるよ。
でも、型にメリットを見いださない人向けの言語で無いね。
913デフォルトの名無しさん
2021/12/09(木) 20:23:42.31ID:/vSkUWU0 動的型付け言語しか使ったことがない人ならそんなものだよね
914デフォルトの名無しさん
2021/12/10(金) 13:52:02.48ID:+cpc+hgB 個人開発だとTypeScriptガンガン使ってる
型パズルたのちい
型パズルたのちい
915デフォルトの名無しさん
2021/12/10(金) 16:44:26.21ID:IDIER0Zn 型パズルはアンチパターンだ
ほどほどにしとけ
人類はC++を教訓にしなければならない
ほどほどにしとけ
人類はC++を教訓にしなければならない
916デフォルトの名無しさん
2021/12/10(金) 17:18:46.95ID:AY2SRHbF TypeScriptにはSFINAEみたいな凶悪な仕様はないだろう。
conditional typeは少し難解かもしれないが自分で使わなければいいだけのことだし。
conditional typeは少し難解かもしれないが自分で使わなければいいだけのことだし。
917デフォルトの名無しさん
2021/12/21(火) 11:07:25.83ID:vugugi2u any型のデータをそれ以外の型に変換可能かどうか判定する、または変換するライブラリってあります?
↓こんな感じの
type T = { id: number; name?: string; timestamp: Date; }
const data1: any = { id: 1, name: “bob”, timestamp: new Date() }
const t1: = convert<T>(data1); // OK
const data2: any = {
id: “2”, // number format string
timestamp: “2021-12-21T11:00:00Z”, // ISO Date string
}
const t2 = convert<T>(data2); // OK
const data3: any = { // without required field
timestamp: new Date()
}
const t3 = convert<T>(data3); // throw Error
const data4: any = {
id: 4,
timestamp: “hello” // invalid format
}
const t4 = convert<T>(data4) // throw Error
↓こんな感じの
type T = { id: number; name?: string; timestamp: Date; }
const data1: any = { id: 1, name: “bob”, timestamp: new Date() }
const t1: = convert<T>(data1); // OK
const data2: any = {
id: “2”, // number format string
timestamp: “2021-12-21T11:00:00Z”, // ISO Date string
}
const t2 = convert<T>(data2); // OK
const data3: any = { // without required field
timestamp: new Date()
}
const t3 = convert<T>(data3); // throw Error
const data4: any = {
id: 4,
timestamp: “hello” // invalid format
}
const t4 = convert<T>(data4) // throw Error
918デフォルトの名無しさん
2021/12/21(火) 11:18:51.59ID:vugugi2u TypeScriptって型が嘘をつくことが結構あって
Date型なのに実行時には文字列が入ってるとか
型定義では省略不可なのに実行時には省略されてるとか
そういう実行時の型エラーをなんとかして削減したい、というのが根本的な課題です
上でレスしたようなライブラリがもし有れば多少はマシになるかな、と
ランタイムがキャスト例外を投げてくれればそれがベストなんですが、JSに実行時型情報はないのでそれは難しい
Date型なのに実行時には文字列が入ってるとか
型定義では省略不可なのに実行時には省略されてるとか
そういう実行時の型エラーをなんとかして削減したい、というのが根本的な課題です
上でレスしたようなライブラリがもし有れば多少はマシになるかな、と
ランタイムがキャスト例外を投げてくれればそれがベストなんですが、JSに実行時型情報はないのでそれは難しい
919デフォルトの名無しさん
2021/12/21(火) 18:51:42.35ID:X++9NQ8p > JSに実行時型情報はないので
つ typeof, instanceof
つ typeof, instanceof
920デフォルトの名無しさん
2021/12/21(火) 19:01:16.33ID:S4hmWBPH すげー斜め読みしてタイプガードではいかんのかと思った
921デフォルトの名無しさん
2021/12/21(火) 19:16:55.14ID:ESVu6HO8 タイプガードでもいいんですけど数が多いので一発で全部よしなにやってくれるものがほしいって感じですかね
C#のdynamicのように非互換の代入をその場で例外にしてくれれば楽なんですが
なんでかanyは非互換でもエラー無しでスルッと進んでしまうので苦労してます
C#のdynamicのように非互換の代入をその場で例外にしてくれれば楽なんですが
なんでかanyは非互換でもエラー無しでスルッと進んでしまうので苦労してます
922デフォルトの名無しさん
2021/12/21(火) 19:39:34.82ID:S6JYHyb7923デフォルトの名無しさん
2021/12/21(火) 20:01:09.90ID:ESVu6HO8924デフォルトの名無しさん
2021/12/21(火) 20:08:19.40ID:fpjBPgEH TypeScriptのtypeやinterfaceからjsonschemaを生成するライブラリがあるから
それを使ってタイプガード書けば楽よ。
それを使ってタイプガード書けば楽よ。
925デフォルトの名無しさん
2021/12/21(火) 20:09:36.77ID:S6JYHyb7926デフォルトの名無しさん
2021/12/21(火) 20:12:46.39ID:S4hmWBPH そういえばAJVがタイプガードに対応してたな
927デフォルトの名無しさん
2021/12/21(火) 20:17:02.00ID:ESVu6HO8928デフォルトの名無しさん
2021/12/21(火) 20:28:04.08ID:S6JYHyb7 string -> Date のような transform をしたいなら、型から自動生成を期待するよりもスキーマで変換ロジックを書いて型を導出するアプローチの方が扱いやすい
929デフォルトの名無しさん
2021/12/23(木) 16:09:01.04ID:qSHzxodN axiosでの(非同期)通信結果から
最終的にpromiseを外した形でresponse扱いたいんだけど
どうやるとできるのでしょうか?
function的な奴で非同期通信して
そのfunction自体はpromiseでない値を返したいんだけど。。。
awaitやろうと思うと
そのfunctionはasyncになって
結局promiseになってしまう
イメージ
conct func = (): string => {
// axiosの戻りがstringだとして、このvalを同期的に返したい
axios.get("hogehoge").then(val=>{return val})
}
最終的にpromiseを外した形でresponse扱いたいんだけど
どうやるとできるのでしょうか?
function的な奴で非同期通信して
そのfunction自体はpromiseでない値を返したいんだけど。。。
awaitやろうと思うと
そのfunctionはasyncになって
結局promiseになってしまう
イメージ
conct func = (): string => {
// axiosの戻りがstringだとして、このvalを同期的に返したい
axios.get("hogehoge").then(val=>{return val})
}
930デフォルトの名無しさん
2021/12/23(木) 20:50:37.85ID:aMbIyyBR 不可能です
直接 XMLHttpRequest を同期モードで使用してください
直接 XMLHttpRequest を同期モードで使用してください
931デフォルトの名無しさん
2021/12/23(木) 22:47:01.90ID:j1Nwu6l7 非同期を同期にはできない。
これ、初心者の頃は辛かったけど、気がついたら慣れてたし不便さより便利さを感じるようになったから人間の適応能力ってすごい。
これ、初心者の頃は辛かったけど、気がついたら慣れてたし不便さより便利さを感じるようになったから人間の適応能力ってすごい。
932デフォルトの名無しさん
2021/12/24(金) 11:16:13.19ID:8YLKxFwi うーんわからん
type X = A & { foo: string}
ってやるとXがanyと判定される現象が起きてて原因が全くわからない
Aはちゃんと型が認識されてる
const a: A = { 略 }
a.
ここまで打てばインテリセンスが出てくる
でも&を挟むとなぜかanyになる
コンパイラのバグかな?
type X = A & { foo: string}
ってやるとXがanyと判定される現象が起きてて原因が全くわからない
Aはちゃんと型が認識されてる
const a: A = { 略 }
a.
ここまで打てばインテリセンスが出てくる
でも&を挟むとなぜかanyになる
コンパイラのバグかな?
933デフォルトの名無しさん
2021/12/24(金) 12:01:47.45ID:vCO0x3fk export type X = A & { foo: string }
const x: X
これは型が生きてるしインテリセンスも出る
import { X } from ‘…’
const x: X
これはanyになってしまう
ファイルを跨がなければおkみたい
エクスポート/インポートのプロセスでバグるのかな?
他の型は問題出てないからAだけが特殊なんだろうけど文字列型のフィールド幾つか持ってるだけのなんの変哲もない型なんだよな…
const x: X
これは型が生きてるしインテリセンスも出る
import { X } from ‘…’
const x: X
これはanyになってしまう
ファイルを跨がなければおkみたい
エクスポート/インポートのプロセスでバグるのかな?
他の型は問題出てないからAだけが特殊なんだろうけど文字列型のフィールド幾つか持ってるだけのなんの変哲もない型なんだよな…
934デフォルトの名無しさん
2021/12/25(土) 12:39:31.39ID:mJNzEC98 色々調べて行き詰まったんだけどこれで合ってる?
babelのpreset-typescriptはTSから形情報を落としてるだけ
なのでtsconfigを無視する
なのでproject referencesも無視される
プロジェクト分割したい場合のオフィシャルな手段がない
なのでプロジェクト分割したければ各自好きな方法でハックするしかない
暫定対応として被参照側のプロジェクトでwatch & buildを仕掛けて
babel側のプロジェクトから被参照側の出力フォルダをimportしてるんだけど正直辛いものがある
babelのpreset-typescriptはTSから形情報を落としてるだけ
なのでtsconfigを無視する
なのでproject referencesも無視される
プロジェクト分割したい場合のオフィシャルな手段がない
なのでプロジェクト分割したければ各自好きな方法でハックするしかない
暫定対応として被参照側のプロジェクトでwatch & buildを仕掛けて
babel側のプロジェクトから被参照側の出力フォルダをimportしてるんだけど正直辛いものがある
935デフォルトの名無しさん
2021/12/25(土) 13:16:26.59ID:YYlOH5kW babel がどう動くかなんて tsc には関係ないだろ
それともあなたのエディタは babel で型情報を解析しているのか?
それともあなたのエディタは babel で型情報を解析しているのか?
936デフォルトの名無しさん
2021/12/25(土) 13:22:25.16ID:YYlOH5kW コンパイル済みのファイルに型情報がないという話なら、型定義ファイル(.d.ts)も出力しないとそりゃそうだろと
937デフォルトの名無しさん
2021/12/25(土) 13:40:07.40ID:mJNzEC98 プロジェクト分割についてはどう考えますか?
938デフォルトの名無しさん
2021/12/25(土) 13:54:01.89ID:YYlOH5kW 情報を小出しにせず、問題が再現するリポジトリ丸ごと上げるかせめてファイル構造や各種設定ファイルの内容など全部書き出して
& がダメなのかファイルを跨ぐのがダメなのかプロジェクト分割がダメなのか話がどんどん移っててわからんぞ
& がダメなのかファイルを跨ぐのがダメなのかプロジェクト分割がダメなのか話がどんどん移っててわからんぞ
939デフォルトの名無しさん
2021/12/25(土) 14:17:47.06ID:YYlOH5kW これ別人の別の話か…そうだったらスマン
940デフォルトの名無しさん
2021/12/25(土) 14:25:06.24ID:mJNzEC98 別ですね
単刀直入に言うとbabel & preset -typescript環境で正しいプロジェクト分割のしかたを聞きたかった
単刀直入に言うとbabel & preset -typescript環境で正しいプロジェクト分割のしかたを聞きたかった
941デフォルトの名無しさん
2021/12/26(日) 11:58:10.04ID:yczrikVs 色々と試して結論が出た
プロジェクト参照は諦めてシンプルに相対パスでimportすることにした
依存パッケージを全てのプロジェクトに入れなければならないのが面倒だけど妥協
ようするに昔VB6やC言語などでよくやってたDLL化せずにコードファイルを共有するスタイル
モダンな言語でやることとは思えないけど何日も調べてできないなら仕方ない
プロジェクト参照は諦めてシンプルに相対パスでimportすることにした
依存パッケージを全てのプロジェクトに入れなければならないのが面倒だけど妥協
ようするに昔VB6やC言語などでよくやってたDLL化せずにコードファイルを共有するスタイル
モダンな言語でやることとは思えないけど何日も調べてできないなら仕方ない
942デフォルトの名無しさん
2021/12/26(日) 12:26:32.69ID:6ScHvZpk バベるのが悪い
943デフォルトの名無しさん
2021/12/26(日) 16:05:00.89ID:SvIlyqah でもフレームワークがバベれって言うんです
944デフォルトの名無しさん
2021/12/26(日) 16:14:53.21ID:imvxWhRx これを
babel_proj
webpack_proj
tsc_proj
tsconfig.json
tsc_lib_1
tsconfig.json
tsc_lib_2
tsconfig.json
こうする
babel_proj
symlink => ../libs
webpack_proj
symlink => ../libs
tsc_proj
tsconfig.json
symlink => ../libs
libs
lib_1
lib_2
babel_proj
webpack_proj
tsc_proj
tsconfig.json
tsc_lib_1
tsconfig.json
tsc_lib_2
tsconfig.json
こうする
babel_proj
symlink => ../libs
webpack_proj
symlink => ../libs
tsc_proj
tsconfig.json
symlink => ../libs
libs
lib_1
lib_2
945デフォルトの名無しさん
2021/12/28(火) 17:28:42.45ID:X7A0KCIT バックエンドはexpress一択?
946デフォルトの名無しさん
2021/12/28(火) 20:29:49.68ID:qjWVy58S そんな🍌
947デフォルトの名無しさん
2021/12/28(火) 23:38:51.88ID:QExnrlZb 僕はFastify!
948デフォルトの名無しさん
2021/12/29(水) 02:36:36.80ID:tTEsT75E nestjsはレガシーなデコレータ依存がなあ
949デフォルトの名無しさん
2021/12/30(木) 13:04:36.50ID:8IVD/YcY そもそもサーバーサイドにTS選ぶメリットが無い
950デフォルトの名無しさん
2021/12/30(木) 13:42:00.99ID:XEA11GKy JavaScriptがって話ならわからんでもないが
951デフォルトの名無しさん
2021/12/30(木) 13:49:04.54ID:8IVD/YcY TS始めた時からずっと思ってたけど型が簡単に嘘を付ける言語仕様はバックエンドでは到底受け入れられんわ
フロントエンドでは気楽さと壊れやすさのトレードオフってことで受け入れるけど
フロントエンドでは気楽さと壊れやすさのトレードオフってことで受け入れるけど
952デフォルトの名無しさん
2021/12/30(木) 13:53:13.25ID:XEA11GKy じゃあC/C++なんかもダメだな
953デフォルトの名無しさん
2021/12/30(木) 14:00:36.67ID:qk2rIpzk バリデーションもできない奴がなんか言ってら
954デフォルトの名無しさん
2021/12/30(木) 14:01:03.11ID:8IVD/YcY そうだね
バックエンドでは実質Cと大差ない
ちょっとだけ楽できるけど
バックエンドでは実質Cと大差ない
ちょっとだけ楽できるけど
955デフォルトの名無しさん
2021/12/30(木) 14:10:38.20ID:XEA11GKy じゃあ逆にバックエンドで受け入れられる言語ってなんだろう?JavaとかRustくらい?
956デフォルトの名無しさん
2021/12/30(木) 14:23:51.58ID:8IVD/YcY JavaとC#だね
型安全性がしっかりしてて実績も多い言語って言えばそれぐらいじゃないか?
型安全性がしっかりしてて実績も多い言語って言えばそれぐらいじゃないか?
957デフォルトの名無しさん
2021/12/30(木) 14:42:45.86ID:XEA11GKy んー、つまり
>TS始めた時からずっと思ってたけど型が簡単に嘘を付ける言語仕様はバックエンドでは到底受け入れられんわ
JavaとC#以外の言語を触るたびに同じように思ったってことでいいのかな?
>TS始めた時からずっと思ってたけど型が簡単に嘘を付ける言語仕様はバックエンドでは到底受け入れられんわ
JavaとC#以外の言語を触るたびに同じように思ったってことでいいのかな?
958デフォルトの名無しさん
2021/12/30(木) 15:01:47.81ID:Q5xANRZc まあ、そうだね
959デフォルトの名無しさん
2021/12/30(木) 16:23:51.89ID:se0ux0qB C♯やJavaよりはTypeScriptやRust選びますわ
960デフォルトの名無しさん
2021/12/30(木) 16:31:34.51ID:tab5g/QS そしてバグが出ると
961デフォルトの名無しさん
2021/12/30(木) 16:52:28.72ID:XEA11GKy まるでTypeScriptやRustを選ぶとバグが出るかのような物言いだが
C#やJavaを選べばバグが出ないというわけでもあるない
C#やJavaを選べばバグが出ないというわけでもあるない
962デフォルトの名無しさん
2021/12/30(木) 17:38:29.90ID:tab5g/QS TypeScriptは型が簡単に嘘をつけるのでバグが出やすい
型安全性がバグ削減に貢献しているのはプログラマの常識
型安全性がバグ削減に貢献しているのはプログラマの常識
963デフォルトの名無しさん
2021/12/30(木) 17:46:55.74ID:18t9WvJQ それはあなたがバリデーション書けないからでしょ?
964デフォルトの名無しさん
2021/12/30(木) 17:56:31.58ID:XEA11GKy >>962
具体的にどういうのを言っている?まさか故意にasでキャストした場合の話じゃないだろうが
具体的にどういうのを言っている?まさか故意にasでキャストした場合の話じゃないだろうが
965デフォルトの名無しさん
2021/12/30(木) 18:04:13.25ID:cY7zFSmj その返答で書けないということが露呈したゾ
966デフォルトの名無しさん
2021/12/30(木) 19:17:21.94ID:zuTar3e4967デフォルトの名無しさん
2021/12/30(木) 19:25:44.57ID:zuTar3e4 言語仕様を変えるべきなんだろうな
typeで宣言した変数への代入は実行時に型チェック付きのマッピングにトランスレートすべき
ついでに言うとtypeで未定義の属性はマッピングするときにundefinedにすべき
これだけでTypeScriptによくある馬鹿馬鹿しいバグがかなり減るはずだ
type Foo {
x: string;
y: number; }
const foo: Foo = { y: “s” } as any
これはコンパイル時には無視していいが実行時にはエラーになるべきだし
const foo2: Foo = { x: “a”, y: 100, z: “111” }
これはzは消えるべき
typeで宣言した変数への代入は実行時に型チェック付きのマッピングにトランスレートすべき
ついでに言うとtypeで未定義の属性はマッピングするときにundefinedにすべき
これだけでTypeScriptによくある馬鹿馬鹿しいバグがかなり減るはずだ
type Foo {
x: string;
y: number; }
const foo: Foo = { y: “s” } as any
これはコンパイル時には無視していいが実行時にはエラーになるべきだし
const foo2: Foo = { x: “a”, y: 100, z: “111” }
これはzは消えるべき
968デフォルトの名無しさん
2021/12/30(木) 19:33:44.30ID:18t9WvJQ >>967
いやそれはそのコードがバカじゃん……
いやそれはそのコードがバカじゃん……
969デフォルトの名無しさん
2021/12/30(木) 19:34:37.32ID:zuTar3e4 Javaは最も優れた設計でそもそもanyみたいな言語仕様がない
Objectは定義できるが暗黙のキャストでスルッと行くなんてことはあり得ないし無理やりキャストしたって実行時に必ず例外が飛ぶ
C#はanyに近いものでdynamicというのがあるがこれも誤ったキャストには実行時に例外が飛ぶ
どちらも型が嘘をつかないように言語基盤がしっかり担保してくれるから型を信用していい
当たり前のことを当たり前にやってくれる堅実な言語だ
Objectは定義できるが暗黙のキャストでスルッと行くなんてことはあり得ないし無理やりキャストしたって実行時に必ず例外が飛ぶ
C#はanyに近いものでdynamicというのがあるがこれも誤ったキャストには実行時に例外が飛ぶ
どちらも型が嘘をつかないように言語基盤がしっかり担保してくれるから型を信用していい
当たり前のことを当たり前にやってくれる堅実な言語だ
970デフォルトの名無しさん
2021/12/30(木) 19:36:08.35ID:zuTar3e4971デフォルトの名無しさん
2021/12/30(木) 19:44:03.93ID:18t9WvJQ972デフォルトの名無しさん
2021/12/30(木) 19:48:28.03ID:pcTvcAXH Javascriptのスーパーセットという最大のセールスポイントを見てなさすぎだろ
構造的部分型も便利だしany型なんて使うときには型ガードするよね
型に関してはJavaより好きだわ
構造的部分型も便利だしany型なんて使うときには型ガードするよね
型に関してはJavaより好きだわ
973デフォルトの名無しさん
2021/12/30(木) 19:51:25.70ID:HvA/IBjD Nullableを長年放置してたり文化的にも言語的にもImmutableを軽視してきたJavaもちょっと信用できないですね
974デフォルトの名無しさん
2021/12/30(木) 19:59:03.54ID:zuTar3e4 >>971
バリデーションってのは値が正しいかどうか検証するものであって型が嘘をついているかどうか調べるためのものじゃない
どこで型が嘘をついているか確実に判断することはむずかしい
自分達の管理するコードベースの外界とのI/Oは全て疑わしい
先も述べたようにJsonのパース、ApiのIO、DBのIO、野良ライブラリのIO
疑わしい箇所が多すぎる
型が嘘をつかない言語なら外界とのI/Oの型定義が信用できる
信用できない領域がグッと一気に減る
だから型は嘘をついちゃいけないし
簡単に嘘をつける言語仕様は絶対におかしい
バリデーションってのは値が正しいかどうか検証するものであって型が嘘をついているかどうか調べるためのものじゃない
どこで型が嘘をついているか確実に判断することはむずかしい
自分達の管理するコードベースの外界とのI/Oは全て疑わしい
先も述べたようにJsonのパース、ApiのIO、DBのIO、野良ライブラリのIO
疑わしい箇所が多すぎる
型が嘘をつかない言語なら外界とのI/Oの型定義が信用できる
信用できない領域がグッと一気に減る
だから型は嘘をついちゃいけないし
簡単に嘘をつける言語仕様は絶対におかしい
975デフォルトの名無しさん
2021/12/30(木) 20:05:16.00ID:zuTar3e4 >>972
構造的部分型もわかりにくいバグの温床だな
anyよりは全然マシだが
まあ楽なのは楽だよそれはわかる
ただ楽なのと安全でりかいしやすいのとは同じじゃないからね
typeは俺が言ったような真の意味で型安全を担保するための仕様
interfaceは構造的部分型でサボるための仕様
こう使い分ければよかったんだろうな
構造的部分型もわかりにくいバグの温床だな
anyよりは全然マシだが
まあ楽なのは楽だよそれはわかる
ただ楽なのと安全でりかいしやすいのとは同じじゃないからね
typeは俺が言ったような真の意味で型安全を担保するための仕様
interfaceは構造的部分型でサボるための仕様
こう使い分ければよかったんだろうな
976デフォルトの名無しさん
2021/12/30(木) 20:09:20.24ID:zuTar3e4977デフォルトの名無しさん
2021/12/30(木) 20:42:46.31ID:18t9WvJQ >>974
型さえあってりゃどんなライブラリも安全安心だと思っているのか……
型さえあってりゃどんなライブラリも安全安心だと思っているのか……
978デフォルトの名無しさん
2021/12/30(木) 20:51:38.40ID:iK2C+Pgo >>977
ちゃんと読めてます?
「信用できない領域がグッと減る」って書いてあるでしょ?
型安全であれば全てが安全なんてことはない
これは常識
でも型安全ならそうでない場合に比べて大部分が安全になる
これも常識
そしてTSは一見すると型安全であるかのように見えるけれど
型が簡単に嘘をつける言語仕様のせいで実は型安全ではなく安全でない言語である
これが私の主張
よく読んでね
ちゃんと読めてます?
「信用できない領域がグッと減る」って書いてあるでしょ?
型安全であれば全てが安全なんてことはない
これは常識
でも型安全ならそうでない場合に比べて大部分が安全になる
これも常識
そしてTSは一見すると型安全であるかのように見えるけれど
型が簡単に嘘をつける言語仕様のせいで実は型安全ではなく安全でない言語である
これが私の主張
よく読んでね
979デフォルトの名無しさん
2021/12/30(木) 21:06:33.94ID:18t9WvJQ >>978
お、これは失敬
お、これは失敬
980デフォルトの名無しさん
2021/12/30(木) 21:26:07.36ID:XEA11GKy >>966
あんたの言う「型が嘘をつく」の意味がよくわからんが。オレオレ用語じゃなくて一般的な用語で説明してくれんかな。
>先も述べたようにJsonのパース、ApiのIO、DBのIO、野良ライブラリのIO
>疑わしい箇所が多すぎる
嘘をつくもなにも、JSONはそのJSON自体の構造以上の型を主張したりはしないが。
それを勝手に別の型と見做したとしたらそのコードの方に問題があるわけだろう。
あんたの言う「型が嘘をつく」の意味がよくわからんが。オレオレ用語じゃなくて一般的な用語で説明してくれんかな。
>先も述べたようにJsonのパース、ApiのIO、DBのIO、野良ライブラリのIO
>疑わしい箇所が多すぎる
嘘をつくもなにも、JSONはそのJSON自体の構造以上の型を主張したりはしないが。
それを勝手に別の型と見做したとしたらそのコードの方に問題があるわけだろう。
981デフォルトの名無しさん
2021/12/30(木) 21:31:50.13ID:XEA11GKy982デフォルトの名無しさん
2021/12/30(木) 21:32:15.17ID:yBt1j67p 型が嘘をつくってのは
コンパイル時に指定した型以外の値が入ってることがある
入れることが簡単にできるということ
type X = { foo: string }
function xxx(): X
例えば↑こういう定義があったとする
実際にxxx()の戻り値が文字列型のfooという属性を持っているかどうか?
それはソースコードを隅々まで読んで間違いないことを確認するまでわからない
コードはXという型はfooという文字列型の属性を持っていると主張しているわけだが実際にはそうでない場合がある
これを俺は型が嘘をついていると表現する
コンパイル時に指定した型以外の値が入ってることがある
入れることが簡単にできるということ
type X = { foo: string }
function xxx(): X
例えば↑こういう定義があったとする
実際にxxx()の戻り値が文字列型のfooという属性を持っているかどうか?
それはソースコードを隅々まで読んで間違いないことを確認するまでわからない
コードはXという型はfooという文字列型の属性を持っていると主張しているわけだが実際にはそうでない場合がある
これを俺は型が嘘をついていると表現する
983デフォルトの名無しさん
2021/12/30(木) 21:33:00.94ID:yBt1j67p >>981
ちげーよ
ちげーよ
984デフォルトの名無しさん
2021/12/30(木) 21:36:23.80ID:yBt1j67p JavaやC#ではこういう事は起こらない
正確には低レベルAPIでメモリを不正に書き換えれば起こせるが無理すれば起こせないこともないと言った程度
JavaやC#ではXがfooという文字列型の属性を持っていてxxxの戻り値の型がXであると書いてあったらそれを信用していい
JavaやC#は型が嘘をつかないからだ
正確には低レベルAPIでメモリを不正に書き換えれば起こせるが無理すれば起こせないこともないと言った程度
JavaやC#ではXがfooという文字列型の属性を持っていてxxxの戻り値の型がXであると書いてあったらそれを信用していい
JavaやC#は型が嘘をつかないからだ
985デフォルトの名無しさん
2021/12/30(木) 21:37:07.94ID:XEA11GKy986デフォルトの名無しさん
2021/12/30(木) 21:39:39.80ID:rc2c+xCv >>985
本当に恥ずかしいからお前はもう黙ってろ
本当に恥ずかしいからお前はもう黙ってろ
987デフォルトの名無しさん
2021/12/30(木) 21:39:49.15ID:yBt1j67p >>985
しない
しない
988デフォルトの名無しさん
2021/12/30(木) 21:42:03.35ID:18t9WvJQ そんなにTSが嫌いならずっとJavaなりC♯なり使ってれば良いじゃん
989デフォルトの名無しさん
2021/12/30(木) 21:45:32.05ID:XEA11GKy >>987
コンパイルエラーにならない function xxx() の例よろ。
コンパイルエラーにならない function xxx() の例よろ。
990デフォルトの名無しさん
2021/12/30(木) 21:57:10.00ID:hxNkeOah991デフォルトの名無しさん
2021/12/30(木) 21:59:52.63ID:hxNkeOah992デフォルトの名無しさん
2021/12/30(木) 22:09:49.35ID:XEA11GKy993デフォルトの名無しさん
2021/12/30(木) 22:21:35.89ID:hxNkeOah >>992
そう
そう
994デフォルトの名無しさん
2021/12/30(木) 22:24:35.31ID:XEA11GKy じゃあ bugLib.getStringValueEvil() はどうやって嘘をついたわけ?堂々巡りだが。
995デフォルトの名無しさん
2021/12/30(木) 22:28:29.05ID:hxNkeOah996デフォルトの名無しさん
2021/12/30(木) 22:34:32.46ID:rc2c+xCv anyなんかから型変換する際にランタイムチェックを追加するオプションはあっていいとは思うがTypeScriptにとってのno goalだから無いのも仕方ない
型安全性だけに拘るならTypeScriptは適当じゃないのはそれはそう(そもそもがoptional typeでしかない)
他の要素も考慮すれば個人的には悪い選択肢じゃないのでJavaScriptよりはTypeScriptを選ぶけども(C#やJavaと比較するかは目的による)
型安全性だけに拘るならTypeScriptは適当じゃないのはそれはそう(そもそもがoptional typeでしかない)
他の要素も考慮すれば個人的には悪い選択肢じゃないのでJavaScriptよりはTypeScriptを選ぶけども(C#やJavaと比較するかは目的による)
997デフォルトの名無しさん
2021/12/30(木) 22:38:38.66ID:XEA11GKy ようはTypeScriptに限らず強い型付け以外全否定ってことかね
998デフォルトの名無しさん
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/
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/
999デフォルトの名無しさん
2021/12/30(木) 22:57:42.38ID:XEA11GKy TypeScript part4
https://mevius.5ch.net/test/read.cgi/tech/1640872622/
https://mevius.5ch.net/test/read.cgi/tech/1640872622/
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 【インバウンド】中国からの“渡航自粛”…ツアー1000人分の直前キャンセル「キャンセル料は免除してくれ」 ことしいっぱいキャンセルに [1ゲットロボ★]
- 「国民の憤りを引き起こした」中国側“高市首相発言の撤回改めて要求” [どどん★]
- 【芸能】日中関係悪化でエンタメ業界に大ダメージ… JO1の中国でのイベント中止、邦画は公開延期、STARTOアイドルへの影響も [冬月記者★]
- XやChatGPTで広範囲の通信障害 投稿や閲覧できず [蚤の市★]
- 【サッカー】日本代表、ボリビアに3発快勝 森保監督通算100試合目を飾る…鎌田、町野、中村がゴール [久太郎★]
- 日本行き空路49万件キャンセル 中国自粛呼びかけ 日本行きチケット予約の約32%に相当 ★3 [ぐれ★]
- 自民党議員「高市は先人が築き上げた日中関係を壊した。外務省が謝罪に言ってるが自分で責任を取れ」 [834922174]
- 米シンクタンク「アメリカは台湾問題で"あいまい戦略"を取っている。高市早苗はこの方針から逸脱している」 [603416639]
- 【高市早苗】バス会社、中国からのキャンセルで12月で2000万円~3000万円の損失へ [115996789]
- かしこいワンコっていうVtuberの子知ってる?
- カレーライスぐちゃぐちゃに混ぜる奴🤣
- 岡田克也「軽々しく存立危機事態とか言うべきじゃない」高市早苗「台湾で武力攻撃が発生したらどう考えても日本の存立危機事態」 [931948549]
