TypeScript part3

**デフォルトの名無しさん** · 2018/04/26(木) 21:48:23.07

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/11/01(月) 00:59:41.61

TypeScriptのポリシー的に絶対入らない

**デフォルトの名無しさん** · 2021/11/01(月) 08:42:35.30

技術的にそう難しくもなさそうなのに今無いってことはもう入れられる見込みは無いんだろうけど
これが絶対に相容れられないようなポリシーってなんかあったかな？

**デフォルトの名無しさん** · 2021/11/01(月) 18:25:45.93

TSって滅多にクラス使わないけどDIってどうやってんの？

**デフォルトの名無しさん** · 2021/11/01(月) 20:45:04.19

クラス全く使わないわけじゃないよ。まぁ明示的に副作用使いたい時ぐらいしか使わないけど

**デフォルトの名無しさん** · 2021/11/11(木) 15:10:53.10

DIの件はこれで解決した

function F(deps: { … }, p1: T1, p2: T2)

よくよく考えると
たったこれだけのことだったんだ
フレームワークとかややこしいことを考えたのが間違いだった

**デフォルトの名無しさん** · 2021/11/11(木) 19:34:48.71

type X = {
foo: string;
bar: string;
baz: string;
}

この型から

type Y = {
foo: string;
bar: string;
}

この型をMappedTypesで定義したい
つまり特定の属性を除去した型を作りたいのだけど出来る？

**デフォルトの名無しさん** · 2021/11/11(木) 21:14:57.72

Utility Types の Omit とか。

**デフォルトの名無しさん** · 2021/11/16(火) 12:37:58.33

.NETでいうところの.NET StandardのようなものってTSには無いの？
フルスタックでTS使う案件に間違って入っちゃったんだけど環境ごとに何が出来るのか把握しきれなくてツラミを感じる
ストリームと文字列の処理みたいな「こんなもんどの環境でも動くだろ」ってコードすら移植すると動かない時があって泣きそう

スタンダードなライブラリが無いならビルダーの設定でもいい
tsconfigでターゲットプラットフォームとランタイムバージョンを指定すると「このパッケージはこのターゲットプラットフォームでは使えないよ」って教えてくれるだけでもだいぶ楽になると思うんだけど…
こういう機能ってどっかに絶対あると思うんだけどググっても古い断片的な情報ばっかり出てきてその設定を探すのも難しい

**デフォルトの名無しさん** · 2021/11/17(水) 21:29:35.22

主な実行環境として node.js とブラウザがあるってことはわかってる？

**デフォルトの名無しさん** · 2021/11/18(木) 00:15:24.62

あとは泥とりんごでしょ？
せめてその4つのメジャーな環境でほぼほぼ同じように動く基本ライブラリ、基本ライブラリだけに依存して、つまりほぼほぼどこでも動くサードパーティライブラリ
それらが日常的な作業に不自由しないレベルで揃ってて然るべきだろう、と俺は思うんだけど無いのかな？

**デフォルトの名無しさん** · 2021/11/18(木) 00:23:00.28

基本ライブラリというならJavaScript API群があるが。
「日常的な作業に不自由しないレベル」って具体的にはどんなものを期待している？

**デフォルトの名無しさん** · 2021/11/18(木) 00:34:29.18

.NET Standardぐらいの想定かな

**デフォルトの名無しさん** · 2021/11/18(木) 06:41:05.66

まず.NETが世界の中心。みんな知ってるだろ全部揃ってて当然だろみたいな考え方をやめろ。
フロント側についてはサイの絵が書いてある本買ってくるか、MDNを熟読すれば良い。Node側はNodeの公式を読め。話はそれから。
あとはtsconfigのcompilerOptions以下のtargetとlibを指定しろ。この辺はNodeのバージョンや、対象ブラウザで変わるからググれ。すぐ出てくる。

**デフォルトの名無しさん** · 2021/11/18(木) 07:16:30.61

> 主な実行環境として node.js とブラウザがあるってことはわかってる？

> あとは泥とりんごでしょ？

これわかってないだろ

**デフォルトの名無しさん** · 2021/11/18(木) 08:57:28.17

Announcing TypeScript 4.5
https://devblogs.microsoft.com/typescript/announcing-typescript-4-5/

**デフォルトの名無しさん** · 2021/11/18(木) 12:49:52.50

自分は知っているみたいな錯覚してるせいで根本的に間違ってることに気づいてない

**デフォルトの名無しさん** · 2021/11/18(木) 12:57:37.30

ttps://stackoverflow.com/questions/57435686/filereader-is-not-defined-with-angular-server-side-rendering

適当にググったらこんなんあったけど、
要するに、こういうことだよな
これはただの一例だけど、ストリームと文字列の変換なんてなんかはさ、いいかい？
全ての開発者が、ドキュメントを熟読せず、何の迷いもなく、インテリセンスに導かれて、スラスラと書けてだよ
そして、それが驚き最小で、思った通りに動作する
それがモダンな高級言語として、当たり前の姿なんじゃないのかい？
TSのメンテナは真新しさばかり追い求めて、足場を固めるという、地味だが大切な仕事を忘れてやしないか？

**デフォルトの名無しさん** · 2021/11/18(木) 13:22:17.68

根本的な勘違いとして、それはTypeScriptの責務では無い。TypeScriptはJavaScriptにモダンな型を付与するもの（一部例外はある）で、APIの提供はしない。
例に出てきたFileReaderの様なAPIはブラウザとNode側で求められる機能もセキュリティレベルも異なり、それぞれが提供するものだ。それを統一はできない。ましてnpmのバッケージで提供されているものはパッケージ作者が責務を負うものだ。
自分の勉強不足を棚に上げて言語に文句を言うのは筋違いも良いとこ。

**デフォルトの名無しさん** · 2021/11/18(木) 14:09:39.19

そこがTSの限界であり、使いにくい原因なんだろなぁ

FileReaderなんてのはたまたま出てきた一例でしかないが
リンク先のポストを読めば、トピ主のやりたいことはストリームから文字列への変換とわかるだろう

その程度はどのプラットフォームでもサポートできる
使用頻度もそこそこだから、標準ライブラリとして用意されていて当たり前

encode(s: string, format: string): Blob
decode(b: Blob, format: string): string

これでいいだろ？
セキュリティやハードウェアに依存するものが標準化されないのは許されるだろう
しかしなぜ簡単にできるものすら標準化しない？

**デフォルトの名無しさん** · 2021/11/18(木) 16:35:20.00

そのストリームってのは何のストリーム？
ひょっとして用語を間違えてるから調べても出てこないのでは？

**デフォルトの名無しさん** · 2021/11/19(金) 07:13:45.00

>>888
型演算に末尾再帰最適化（みたいなの）追加されるやん！

**デフォルトの名無しさん** · 2021/11/21(日) 12:03:30.92

型の@types だけインポートするにはどうしたらよいでしょうか。

leafletという地図のjsライブラリがあって、グローバルでL という変数をnamespaceとして使っています。
npmの層を薄くしたくて、地図ライブラリはnpm を使わずにhtmlにscriptタグを直接書いて読み込んでいます。
でも型補完は欲しいので、"@types/leaflet"はnpmでインストールしています。

この状態で変数L に型補完を動作させるにはどうすればよいでしょうか。
何もしないと、変数Lは未定義だよというエラーが出ます。
(エラーを消すだけなら適当なd.tsを作って declare const L: any; とでも書けばいいんだろうけど)

**デフォルトの名無しさん** · 2021/11/21(日) 12:42:32.36

import type * as Leaflet from 'leaflet'
declare const L: typeof Leaflet

**デフォルトの名無しさん** · 2021/11/21(日) 12:53:04.47

ありがとうございます

**デフォルトの名無しさん** · 2021/11/23(火) 00:51:46.26

空配列ってどうやって定義すればいいんでしょうか？

**デフォルトの名無しさん** · 2021/11/24(水) 20:42:59.28

Dateが使いにくいのどうにかする最高のライブラリ教えてよ
date-nfs、momentあたりは試したけどしっくりこんかったわ
JSONが非対称ってのもSo Badやでほんま
よくこんな罠だらけの言語でやってられるなー
フロントエンド勢の忍耐力には尊敬の念を禁じえんわい

**デフォルトの名無しさん** · 2021/11/24(水) 21:53:47.96

>>899
> JSONが非対称
とは？
JSON.parse, JSON.stringify 知ってるか？

**デフォルトの名無しさん** · 2021/11/24(水) 22:01:40.70

>>899
date-nfsで駄目ならオススメは無いかなぁ。
ご指摘の通り罠も多いけどC++とかに比べたらずっと楽な言語だと思うな

**デフォルトの名無しさん** · 2021/11/24(水) 23:40:29.12

>>899
> Dateが使いにくいのどうにかする
そんなあなたに Temporal

**デフォルトの名無しさん** · 2021/11/26(金) 22:12:29.88

Effective TypeScript
ちと古いが読んだ方がいい？

**デフォルトの名無しさん** · 2021/12/02(木) 17:06:08.00

あーくそ
なんでstrictをOFFにできるんだよ
VB.NETか！

**デフォルトの名無しさん** · 2021/12/02(木) 18:20:28.57

いやなんでfalseにするんだよ

**デフォルトの名無しさん** · 2021/12/02(木) 22:30:30.27

既存の JavaScript を段階的に移行したい時かな

**デフォルトの名無しさん** · 2021/12/07(火) 10:10:01.42

非同期がよーわからん
ワーカーを考えない場合
ブラウザでもモバイルでもバックエンドでも基本的に一本のキューにジョブを入れてって順次処理するモデル
promiseやawaitを使うと処理の前後関係は保障されるけど間に他のジョブが割り込む可能性がある
処理そのものはシングルスレッドで行われるのでpromiseやawaitを挟まない限り全てのJSコードがアトミックに実行される
fetchなどJS外の処理についてはアトミックは保障されない
こんな感じであっとる？？？

**デフォルトの名無しさん** · 2021/12/07(火) 22:24:43.13

JavaScript Visualized: Event Loop
https://dev.to/lydiahallie/javascript-visualized-event-loop-3dif

**デフォルトの名無しさん** · 2021/12/08(水) 07:25:06.20

>>907
だいたい合ってる。基本的には処理の予約と考えるだけで済む。
JS外の処理はWebWorker含めてJS環境に干渉してこないんだから（戻り値以外）ほぼイベントとか割込と同質で特殊なものだと考える必要もなくないかな？

**デフォルトの名無しさん** · 2021/12/09(木) 14:21:48.83

なんかプロジェクトでtypescript使う流れになって今から勉強してるんだが、これ何に優れてるの？
javascriptの拡張言語で型の宣言できるぐらいがメリット？
実行するためにいちいちコンパイルもどきなことをしないといけないしデバッグ面倒で正直やりづらいとしか思えないんだが

**デフォルトの名無しさん** · 2021/12/09(木) 14:29:35.72

「正直、特別優れた言語設計でもないし、基本的なライブラリ貧弱だし、なんか色々と不安定なので、他の言語を使えるならそっちのがいい。
でもJavaScriptよりかは遥かにマシだからターゲットプラットフォームがブラウザ、ReactNativeなら積極的に使っていこうぜ」ぐらいの認識ですかね

型パズルとかゆるゆるなインターフェースとか最初はこりゃ楽チン、便利だなと思うけどメンテナンス性は疑問
あとTypeScriptは生のJavaScriptよりanyの凶悪さが増してると思う

所詮はALT JSですね

**デフォルトの名無しさん** · 2021/12/09(木) 16:46:11.49

>>910
watch使うとわざわざコンパイルする手間が省けるので楽だよ。あとmapファイルも出力するようにすればデバック時も面倒じゃなくなるよ。
型だけじゃなくて、同じコードで古い環境でも動くソースを吐くこともできるよ。
でも、型にメリットを見いださない人向けの言語で無いね。

**デフォルトの名無しさん** · 2021/12/09(木) 20:23:42.31

動的型付け言語しか使ったことがない人ならそんなものだよね

**デフォルトの名無しさん** · 2021/12/10(金) 13:52:02.48

個人開発だとTypeScriptガンガン使ってる
型パズルたのちい

**デフォルトの名無しさん** · 2021/12/10(金) 16:44:26.21

型パズルはアンチパターンだ
ほどほどにしとけ
人類はC++を教訓にしなければならない

**デフォルトの名無しさん** · 2021/12/10(金) 17:18:46.95

TypeScriptにはSFINAEみたいな凶悪な仕様はないだろう。
conditional typeは少し難解かもしれないが自分で使わなければいいだけのことだし。

**デフォルトの名無しさん** · 2021/12/21(火) 11:07:25.83

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

**デフォルトの名無しさん** · 2021/12/21(火) 11:18:51.59

TypeScriptって型が嘘をつくことが結構あって
Date型なのに実行時には文字列が入ってるとか
型定義では省略不可なのに実行時には省略されてるとか
そういう実行時の型エラーをなんとかして削減したい、というのが根本的な課題です
上でレスしたようなライブラリがもし有れば多少はマシになるかな、と
ランタイムがキャスト例外を投げてくれればそれがベストなんですが、JSに実行時型情報はないのでそれは難しい

**デフォルトの名無しさん** · 2021/12/21(火) 18:51:42.35

> JSに実行時型情報はないので
つ typeof, instanceof

**デフォルトの名無しさん** · 2021/12/21(火) 19:01:16.33

すげー斜め読みしてタイプガードではいかんのかと思った

**デフォルトの名無しさん** · 2021/12/21(火) 19:16:55.14

タイプガードでもいいんですけど数が多いので一発で全部よしなにやってくれるものがほしいって感じですかね
C#のdynamicのように非互換の代入をその場で例外にしてくれれば楽なんですが
なんでかanyは非互換でもエラー無しでスルッと進んでしまうので苦労してます

**デフォルトの名無しさん** · 2021/12/21(火) 19:39:34.82

https://github.com/colinhacks/zod

**デフォルトの名無しさん** · 2021/12/21(火) 20:01:09.90

>>922
どうも
なかなか良さそうだけどちょっと大変そう
普通の型を先に定義してパーサーを生成するのは難しいんですかね?

**デフォルトの名無しさん** · 2021/12/21(火) 20:08:19.40

TypeScriptのtypeやinterfaceからjsonschemaを生成するライブラリがあるから
それを使ってタイプガード書けば楽よ。

**デフォルトの名無しさん** · 2021/12/21(火) 20:09:36.77

https://github.com/azu/create-validator-ts

**デフォルトの名無しさん** · 2021/12/21(火) 20:12:46.39

そういえばAJVがタイプガードに対応してたな

**デフォルトの名無しさん** · 2021/12/21(火) 20:17:02.00

>>925
いいかも
あとはanyの代入を自動的に置き換えることができれば完璧

**デフォルトの名無しさん** · 2021/12/21(火) 20:28:04.08

string -> Date のような transform をしたいなら、型から自動生成を期待するよりもスキーマで変換ロジックを書いて型を導出するアプローチの方が扱いやすい

**デフォルトの名無しさん** · 2021/12/23(木) 16:09:01.04

axiosでの（非同期）通信結果から
最終的にpromiseを外した形でresponse扱いたいんだけど
どうやるとできるのでしょうか？

function的な奴で非同期通信して
そのfunction自体はpromiseでない値を返したいんだけど。。。

awaitやろうと思うと
そのfunctionはasyncになって
結局promiseになってしまう

イメージ
conct func = (): string => {
// axiosの戻りがstringだとして、このvalを同期的に返したい
axios.get("hogehoge").then(val=>{return val})
}

**デフォルトの名無しさん** · 2021/12/23(木) 20:50:37.85

不可能です
直接 XMLHttpRequest を同期モードで使用してください

**デフォルトの名無しさん** · 2021/12/23(木) 22:47:01.90

非同期を同期にはできない。
これ、初心者の頃は辛かったけど、気がついたら慣れてたし不便さより便利さを感じるようになったから人間の適応能力ってすごい。

**デフォルトの名無しさん** · 2021/12/24(金) 11:16:13.19

うーんわからん
type X = A & { foo: string}
ってやるとXがanyと判定される現象が起きてて原因が全くわからない
Aはちゃんと型が認識されてる
const a: A = { 略 }
a.
ここまで打てばインテリセンスが出てくる
でも&を挟むとなぜかanyになる
コンパイラのバグかな？

**デフォルトの名無しさん** · 2021/12/24(金) 12:01:47.45

export type X = A & { foo: string }
const x: X
これは型が生きてるしインテリセンスも出る

import { X } from ‘…’
const x: X
これはanyになってしまう

ファイルを跨がなければおkみたい
エクスポート/インポートのプロセスでバグるのかな？
他の型は問題出てないからAだけが特殊なんだろうけど文字列型のフィールド幾つか持ってるだけのなんの変哲もない型なんだよな…

**デフォルトの名無しさん** · 2021/12/25(土) 12:39:31.39

色々調べて行き詰まったんだけどこれで合ってる？

babelのpreset-typescriptはTSから形情報を落としてるだけ
なのでtsconfigを無視する
なのでproject referencesも無視される
プロジェクト分割したい場合のオフィシャルな手段がない
なのでプロジェクト分割したければ各自好きな方法でハックするしかない

暫定対応として被参照側のプロジェクトでwatch & buildを仕掛けて
babel側のプロジェクトから被参照側の出力フォルダをimportしてるんだけど正直辛いものがある

**デフォルトの名無しさん** · 2021/12/25(土) 13:16:26.59

babel がどう動くかなんて tsc には関係ないだろ
それともあなたのエディタは babel で型情報を解析しているのか？

**デフォルトの名無しさん** · 2021/12/25(土) 13:22:25.16

コンパイル済みのファイルに型情報がないという話なら、型定義ファイル(.d.ts)も出力しないとそりゃそうだろと

**デフォルトの名無しさん** · 2021/12/25(土) 13:40:07.40

プロジェクト分割についてはどう考えますか？

**デフォルトの名無しさん** · 2021/12/25(土) 13:54:01.89

情報を小出しにせず、問題が再現するリポジトリ丸ごと上げるかせめてファイル構造や各種設定ファイルの内容など全部書き出して
& がダメなのかファイルを跨ぐのがダメなのかプロジェクト分割がダメなのか話がどんどん移っててわからんぞ

**デフォルトの名無しさん** · 2021/12/25(土) 14:17:47.06

これ別人の別の話か…そうだったらスマン

**デフォルトの名無しさん** · 2021/12/25(土) 14:25:06.24

別ですね
単刀直入に言うとbabel & preset -typescript環境で正しいプロジェクト分割のしかたを聞きたかった

**デフォルトの名無しさん** · 2021/12/26(日) 11:58:10.04

色々と試して結論が出た
プロジェクト参照は諦めてシンプルに相対パスでimportすることにした
依存パッケージを全てのプロジェクトに入れなければならないのが面倒だけど妥協
ようするに昔VB6やC言語などでよくやってたDLL化せずにコードファイルを共有するスタイル
モダンな言語でやることとは思えないけど何日も調べてできないなら仕方ない

**デフォルトの名無しさん** · 2021/12/26(日) 12:26:32.69

バベるのが悪い

**デフォルトの名無しさん** · 2021/12/26(日) 16:05:00.89

でもフレームワークがバベれって言うんです

**デフォルトの名無しさん** · 2021/12/26(日) 16:14:53.21

これを

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

**デフォルトの名無しさん** · 2021/12/28(火) 17:28:42.45

バックエンドはexpress一択？

**デフォルトの名無しさん** · 2021/12/28(火) 20:29:49.68

そんな🍌

**デフォルトの名無しさん** · 2021/12/28(火) 23:38:51.88

僕はFastify!

**デフォルトの名無しさん** · 2021/12/29(水) 02:36:36.80

nestjsはレガシーなデコレータ依存がなあ

**デフォルトの名無しさん** · 2021/12/30(木) 13:04:36.50

そもそもサーバーサイドにTS選ぶメリットが無い

**デフォルトの名無しさん** · 2021/12/30(木) 13:42:00.99

JavaScriptがって話ならわからんでもないが

**デフォルトの名無しさん** · 2021/12/30(木) 13:49:04.54

TS始めた時からずっと思ってたけど型が簡単に嘘を付ける言語仕様はバックエンドでは到底受け入れられんわ
フロントエンドでは気楽さと壊れやすさのトレードオフってことで受け入れるけど

**デフォルトの名無しさん** · 2021/12/30(木) 13:53:13.25

じゃあC/C++なんかもダメだな

**デフォルトの名無しさん** · 2021/12/30(木) 14:00:36.67

バリデーションもできない奴がなんか言ってら

**デフォルトの名無しさん** · 2021/12/30(木) 14:01:03.11

そうだね
バックエンドでは実質Cと大差ない
ちょっとだけ楽できるけど

**デフォルトの名無しさん** · 2021/12/30(木) 14:10:38.20

じゃあ逆にバックエンドで受け入れられる言語ってなんだろう？JavaとかRustくらい？

**デフォルトの名無しさん** · 2021/12/30(木) 14:23:51.58

JavaとC#だね
型安全性がしっかりしてて実績も多い言語って言えばそれぐらいじゃないか？

**デフォルトの名無しさん** · 2021/12/30(木) 14:42:45.86

んー、つまり

>TS始めた時からずっと思ってたけど型が簡単に嘘を付ける言語仕様はバックエンドでは到底受け入れられんわ

JavaとC#以外の言語を触るたびに同じように思ったってことでいいのかな？

**デフォルトの名無しさん** · 2021/12/30(木) 15:01:47.81

まあ、そうだね

**デフォルトの名無しさん** · 2021/12/30(木) 16:23:51.89

C♯やJavaよりはTypeScriptやRust選びますわ

**デフォルトの名無しさん** · 2021/12/30(木) 16:31:34.51

そしてバグが出ると

**デフォルトの名無しさん** · 2021/12/30(木) 16:52:28.72

まるでTypeScriptやRustを選ぶとバグが出るかのような物言いだが
C#やJavaを選べばバグが出ないというわけでもあるない

**デフォルトの名無しさん** · 2021/12/30(木) 17:38:29.90

TypeScriptは型が簡単に嘘をつけるのでバグが出やすい
型安全性がバグ削減に貢献しているのはプログラマの常識

**デフォルトの名無しさん** · 2021/12/30(木) 17:46:55.74

それはあなたがバリデーション書けないからでしょ？

**デフォルトの名無しさん** · 2021/12/30(木) 17:56:31.58

>>962
具体的にどういうのを言っている？まさか故意にasでキャストした場合の話じゃないだろうが

**デフォルトの名無しさん** · 2021/12/30(木) 18:04:13.25

その返答で書けないということが露呈したゾ

**デフォルトの名無しさん** · 2021/12/30(木) 19:17:21.94

>>963
型が嘘をつけることとバリデーションは別次元の話

>>964
明示的キャストなんかしなくてもTSにはいくらでも型が嘘をつく罠がある
代表的なところだとjsonのパース、DBのI/O、api I/O、野良ライブラリのI/O、、、

**デフォルトの名無しさん** · 2021/12/30(木) 19:25:44.57

言語仕様を変えるべきなんだろうな
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は消えるべき

**デフォルトの名無しさん** · 2021/12/30(木) 19:33:44.30

>>967
いやそれはそのコードがバカじゃん……

**デフォルトの名無しさん** · 2021/12/30(木) 19:34:37.32

Javaは最も優れた設計でそもそもanyみたいな言語仕様がない
Objectは定義できるが暗黙のキャストでスルッと行くなんてことはあり得ないし無理やりキャストしたって実行時に必ず例外が飛ぶ
C#はanyに近いものでdynamicというのがあるがこれも誤ったキャストには実行時に例外が飛ぶ
どちらも型が嘘をつかないように言語基盤がしっかり担保してくれるから型を信用していい
当たり前のことを当たり前にやってくれる堅実な言語だ

**デフォルトの名無しさん** · 2021/12/30(木) 19:36:08.35

>>968
このコードは説明のためのスニペットだ
現実的にこんなコード書くわけないだろ
現実的には先に挙げたような状況でanyと戦わなければならない

**デフォルトの名無しさん** · 2021/12/30(木) 19:44:03.93

>>966
>>970
なんの為のバリデーションとタイプガードだよ。
どこで間違った型が入りうるかなんか普通把握できるでしょうに

**デフォルトの名無しさん** · 2021/12/30(木) 19:48:28.03

Javascriptのスーパーセットという最大のセールスポイントを見てなさすぎだろ
構造的部分型も便利だしany型なんて使うときには型ガードするよね
型に関してはJavaより好きだわ

**デフォルトの名無しさん** · 2021/12/30(木) 19:51:25.70

Nullableを長年放置してたり文化的にも言語的にもImmutableを軽視してきたJavaもちょっと信用できないですね

**デフォルトの名無しさん** · 2021/12/30(木) 19:59:03.54

>>971
バリデーションってのは値が正しいかどうか検証するものであって型が嘘をついているかどうか調べるためのものじゃない

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

型が嘘をつかない言語なら外界とのI/Oの型定義が信用できる
信用できない領域がグッと一気に減る
だから型は嘘をついちゃいけないし
簡単に嘘をつける言語仕様は絶対におかしい