Big projects are ditching TypeScript… why?

Fireship

7 Sept 202303:38

Summary

TLDRこのビデオスクリプトでは、TypeScriptの採用状況とその今後の展望について議論されています。最初はJavaScriptの開発者であったKent C. Doddsも最終的にTypeScriptを受け入れたことが示されていますが、近年ではSvelteやDrizzle、Turboなどの大規模オープンソースプロジェクトがTypeScriptから撤退し、バニラJavaScriptに戻る動きがあることが指摘されています。その理由としては、型ジムナスティクスによるコード汚染や、コンパイルステップの必要性などが挙げられています。一方で、JSDocによる型推論の活用や、将来的にJavaScript自体に型アノテーションが組み込まれることで、TypeScriptの役割が変化する可能性も示唆されています。

Takeaways

😮 2023年、TypeScriptは圧倒的に普及していたが、突如大規模なオープンソースプロジェクトがTypeScriptから離れ始めた。
🤔 svelte、drizzle、turboなどのプロジェクトがTypeScriptを捨て、プレーンなJavaScriptに戻った理由は、TypeScriptが必要以上にコードを複雑化させるためである。
😥 TypeScriptを捨てることで、コンパイルステップが不要になり開発の生産性が上がるという利点がある。
🚀 svelte 5ではJSDocを利用し、コメントによる型の定義とインテリセンスを実現している。これにより、TypeScriptの利点を享受しつつ、コンパイルは不要となる。
🤷‍♂️ アプリケーション開発ではTypeScriptを離れる理由がないが、ライブラリ開発ではTypeScriptを避ける動きがある。
🔮 究極の解決策は、JavaScriptにネイティブに型アノテーションを導入することで、TypeScriptをほぼ無用にすることかもしれない。
⏳ TypeScriptの行く末は不透明だが、開発者はオープンマインドでなければならず、時代の変化に適応することが重要である。
🌐 TypeScriptの是非をめぐる聖戦は長年続いており、まだ終わる気配がない。
💡 開発者は頑なに考えを変えず、新しいツールを受け入れることができれば、世界を変えられるかもしれない。
🤖 結局のところ、開発者は常に生産性の向上と、バグのない品質の高いコードを目指すべきである。

Q & A

TypeScriptはいつ誕生しましたか?
-TypeScriptは2012年にマイクロソフトによって発表されました。最初はあまり注目を浴びませんでしたが、後にAngular 2フレームワークで採用されたことで人気が高まりました。
なぜ一部の大規模なオープンソースプロジェクトがTypeScriptを放棄しようとしているのでしょうか?
-メインの理由は、TypeScriptが必要とする型の指定に関する煩雑さにあります。ライブラリ開発の際に、型の指定のための「型の体操」が必要になり、コードが汚くなる傾向があるためです。また、コンパイルステップが生産性を落とすという指摘もあります。
SvelteやDrizzle、Turboはどのような代替手段を採用していますか?
-SvelteはJSDocという標準のコメント形式を使って型とドキュメントを宣言し、Vite上でIntelliSenseを実現しています。一方でTurboはTypeScriptから完全に撤退し、プレーンなJavaScriptに移行しています。
ECMAScriptにプロポーザルされている新機能は、TypeScriptの存在意義に影響を与えるでしょうか?
-はい、現在Stage 1にあるECMAScriptの新しいプロポーザルは、JavaScriptに型アノテーションを導入しようとしています。この機能が実装されれば、TypeScriptの役割が大幅に減少する可能性があります。
アプリケーション開発においてTypeScriptを使い続けるメリットは何でしょうか?
-フレームワークやツールがTypeScriptをシームレスに統合しているため、JSDocを代替手段として使うよりも生産性が高くなります。TypeScriptを使い続けることで、早期のバグ検出や自動補完によるコーディング効率の向上が期待できます。
TypeScriptとJSDocの最も大きな違いは何でしょうか?
-最も大きな違いは、TypeScriptがコンパイル時に型チェックを行うのに対し、JSDocはエディタ上でのみインテリセンスを提供する点です。つまり、JSDocにはコンパイル時の型安全性がありません。
TypeScriptの「聖戦」はいつ終わると思われますか?
-スクリプトからは、JavaScriptにネイティブな型アノテーションが導入された時点で、TypeScriptの存在意義が大きく揺らぐことが示唆されています。しかし、その時期は不明確です。
型指定を避けることで、JavaScriptはフレキシビリティが増すと考えられますか?
-型指定を避けることで、JavaScriptのダイナミックな性質が生かせるというメリットはあります。しかし、大規模で複雑なプロジェクトでは、型の安全性を確保することが非常に重要になります。用途に応じて適切な選択が必要です。
ライブラリ開発とアプリケーション開発では、TypeScriptの採用基準が異なる理由は何でしょうか?
-ライブラリ開発では、型指定のオーバーヘッドが生産性を落とす可能性があります。一方アプリケーション開発では、フレームワークやツールがTypeScriptをシームレスに統合しているため、生産性への影響が小さくなります。
この動画の結論として、TypeScriptの未来について何が言えますか?
-動画の結論としては、ECMAScriptにネイティブの型アノテーションが導入されれば、TypeScriptの存在意義は大きく揺らぐ可能性があることが示唆されています。しかし、その実現時期は不明確であり、当面の間はユースケースに応じてTypeScriptの採用を判断することが賢明だと言えます。

Outlines

00:00

😮 TypeScriptの広がりと見直しの波

この映画は、JavaScriptの世界においてTypeScriptの使用がどのように広まり、そして批判を受けるようになったかを描いています。2017年にはKent C. Doddsがその使用を嫌っていましたが、2023年にはTypeScriptが主流となりました。しかし最近では、SvelteやDrizzle、TurboなどのビッグプロジェクトがTypeScriptから離れ始め、その理由として、コードの複雑さや非効率性が指摘されています。一方で、SpelltやNextJSなどの主要フレームワークではTypeScriptの利用が継続されており、今後のJavaScript言語の標準化によってはTypeScriptの役割が変わる可能性もあります。

Mindmap

Keywords

💡TypeScript

TypeScriptは、Microsoft社が開発したJavaScriptのスーパーセットで、静的型付けの機能を追加したプログラミング言語です。この動画では、TypeScriptの採用と、その後の一部のプロジェクトがTypeScriptから離れていく動きが説明されています。例えば、「nobody really cared at first, but then a few years later it was adopted by the angular 2 framework」のように、当初は無視されていたTypeScriptが、Angular 2で採用されたことで注目を集めるようになった経緯が語られています。

💡ビッグプロジェクト

この動画では、svelte、drizzle、turboなどのビッグなオープンソースプロジェクトがTypeScriptを捨てて、プレーンなJavaScriptに戻ることについて言及されています。例えば、「you've got big libraries like svelte, drizzle and turbo deciding to ditch typescript from their code bases」のように、これらのプロジェクトがTypeScriptの使用を止める決定を下したことが説明されています。これらの大規模なプロジェクトの動向が、TypeScriptの行方に大きな影響を与えることが示唆されています。

💡ランタイムエラー

ランタイムエラーとは、プログラムを実行した際に発生するエラーのことを指します。この動画では、TypeScriptを使うことで、このようなエラーを事前に防ぐことができると述べられています。具体例として「cannot read properties of undefined」のようなエラーが挙げられており、TypeScriptのような静的型付けの仕組みがあれば、そのようなエラーを未然に防ぐことができると説明されています。

💡リファクタリング

リファクタリングとは、プログラムの外部動作を変えずにソースコードの内部構造を整理・改善することを指します。この動画では、TypeScriptを使うと大規模なプロジェクトでのリファクタリングが容易になると述べられています。具体的には「where you have no idea what anything is」のように、型情報がないと変数や関数の役割を把握しづらくなり、リファクタリングが困難になることが示唆されています。

💡型ジムナスティクス

型ジムナスティクスとは、TypeScriptの型システムを扱う際に発生する、複雑で分かりづらいコードのことを指します。この動画では、turboプロジェクトがTypeScriptを排除した理由の一つとして、「because it pollutes the code with quote type gymnastics」と述べられています。つまり、TypeScriptの型システムを使うと、コードが複雑になり過ぎてしまうという問題点があると指摘されています。

💡JSDoc

JSDocとは、JavaScriptのコード内にドキュメンテーションコメントを記述する慣習的な方法のことを指します。この動画では、svelteプロジェクトがJSDocを使ってTypeScriptに代わる型の仕組みを実装していることが説明されています。「they're actually still getting most of the benefits of typescript but doing so with JS talk」という部分が、この話を指しています。JSDocを用いることで、型情報を付与しつつ、TypeScriptのようなコンパイル工程を必要としないという利点があると言及されています。

💡オプショナル型アノテーション

オプショナル型アノテーションとは、JavaScriptの次期バージョンであるECMAScript提案の中で検討されている機能のことを指します。この機能が実現すれば、JavaScriptに型アノテーションを付与できるようになり、TypeScriptが不要になる可能性があると動画内で言及されています。具体的には「there's currently a stage 1 ecmascript proposal that would add optional type annotations to JavaScript natively thus making typescript nearly obsolete」という部分で説明されています。

💡holy war

「holy war」とは、TypeScriptとJavaScriptをめぐる論争や対立のことを比喩的に表した言葉です。動画の最後の部分で、「one day I hope we see the end of this holy war」と述べられており、作者はこの対立が終結することを願っていることが分かります。TypeScriptとJavaScriptのどちらを使うべきかについて、開発者コミュニティの中で激しい議論が行われていることが示唆されています。

💡コンパイルステップ

コンパイルステップとは、TypeScriptのようなトランスパイル言語を使う際に必要となるコード変換の工程のことを指します。この動画では、svelteがコンパイルステップを排除することで生産性を向上させたと説明されています。具体的には「the main benefit is no compile step which is a huge boost in productivity」という部分でその旨が述べられています。コンパイルステップが不要になることで、開発時の待ち時間が減り、作業効率が上がるというメリットがあることが示唆されています。

💡IntelliSense

IntelliSenseとは、主にIDE(統合開発環境)において、コード補完やドキュメンテーション表示などの支援機能の総称を指します。この動画では、JSDocを使うことでTypeScriptと同様のIntelliSense機能が得られると述べられています。「can then be used to generate rate types like a d.ts file and most importantly provide intellisense in your editor」の部分が、その旨を説明しています。型情報があれば、エディタ上でコード補完やエラー検知ができるため、生産性が向上するというメリットがあるということです。

Highlights

Kent C. Dodds, a legendary JavaScript user, initially opposed TypeScript but later embraced it in 2023, saying, "TypeScript is one and it's only a matter of time you're using it whether you like it or not."

Despite TypeScript's widespread adoption, recently, some big open-source projects like Svelte, Drizzle, and Turbo have decided to ditch TypeScript in favor of vanilla JavaScript.

DHH, the creator of Ruby on Rails, is removing TypeScript from Turbo version 8, citing that it "pollutes the code with type gymnastics."

The speaker is working on a library called "Svelt Fire" and has to perform "type gymnastics" with TypeScript to get rid of red squiggly lines in the IDE.

Svelte 5, which may come out later in 2023, no longer uses TypeScript, and Svelte Kit is already written in plain vanilla JavaScript.

Svelte is using JSDoc, a standard comment format, to declare types and documentation with regular JavaScript comments, which can then be used to generate type definitions and provide IntelliSense.

For building actual applications with tools like Svelte Kit or Next.js, the speaker doesn't see themselves leaving TypeScript anytime soon, as trying to get the same results with JSDoc would be a "total nightmare."

There is a Stage 1 ECMAScript proposal that would add optional type annotations to JavaScript natively, potentially making TypeScript nearly obsolete.

The speaker suggests that there is currently a "holy war" between TypeScript and vanilla JavaScript, and hopes to see an end to this conflict.

The turnaround of big open-source projects ditching TypeScript after its widespread adoption is described as a "shocking turn of events."

The speaker acknowledges that the people behind the decision to ditch TypeScript are "a lot smarter" than them.

The reaction to Turbo's decision to remove TypeScript is described as an "absolute dumpster fire," with many developers upset that their TypeScript contributions are now "Dead on Arrival."

The speaker uses TypeScript with strict mode, which means they have to use "any" anytime they don't want to use an explicit type, resulting in code that's "anything but beautiful."

The main benefit of Svelte Kit's move away from TypeScript is the removal of the compile step, which is described as a "huge boost in productivity for a large framework like this."

The speaker hopes that the "holy war" between TypeScript and vanilla JavaScript will come to an end one day.