Zero-effort type safety

Zero-effort type safety

SvelteKit アプリに型アノテーションをたくさん書くと、ネットワークをまたいでも完全な型安全性が手に...概要を表示 SvelteKit アプリに型アノテーションをたくさん書くと、ネットワークをまたいでも完全な型安全性が手に入ります — あなたのページの data には、その data を生成する load 関数の戻り値から推論された型があり、明示的に何かを宣言する必要はありません。これなしで今までどうやって生活してきたのだろう、と考えさせられるようなことの1つです。 でも、型アノテーションが不要になったとしたら？ load と data はフレームワークの一部ですし、フレームワークが私たちのために型付けできないものでしょうか？ これは結局、コンピューターが何のためにあるのか、ということです — 退屈なことをやってくれるから、私たちはクリエイティブなことに集中することができるのです。 そして今日現在、それができるようになりました。 VSCode をお使いでしたら、Svelte extension を最新バ