はじめに もしかしたら多くの開発者が見落としているかもしれないPrismaのちょっとした使い方が TypeScriptコンパイラやIDE等の開発環境に思わぬ悪影響を与えることに気付いたので、 その解決策と実際のプロジェクトでの適用例を紹介します。 問題の発見 手前味噌ですが、冒頭に記載した自作のOSSを使ってTypeScriptのパフォーマンスを測定していたところ、あるプロジェクトでPrisma関連のコードに起因してやたらIDEが重くなることに気づきました。 そこで tsc --noEmit --diagnostics などのデバッグコマンドを使って調べてみると、面白いことが分かったのでそのエッセンスを検証データとともに以下にまとました。 検証環境の構築 パフォーマンスの問題を明確に示すため、30段階のネストしたPrismaスキーマを作成しました。 Tree1からTree30まで、各モデル

Next.js App Routerにおける設計やベストプラクティスを、筆者なりにまとめました。

export type Bookmark = { id: number; url: string; comment: string; }; このファイルには型しか書いてありませんね。ということは、「型定義ファイル」として bookmark.d.ts という名前にするべきでしょうか。実はそうではなく、この場合は bookmark.ts とするべきです。 「型定義ファイル」とは、「どこか別の場所にある実装に型をつけるためのファイル」です。たとえば、以下のファイルは「どこか別の場所にある実装」に型をつけているから、 *.d.ts にするのは自然です。 いっぽう、 type Bookmark は別のどこかにある *.js の型を与えているわけではないので、 *.ts でよいです。 このように本来 *.ts であるべきものを *.d.ts にしてしまうことには問題があります。代表的な問題として型エラ

プログラミングの型システムに関する記事を読んでいると、共変や反変といった用語が出てくることがある。 TypeScript や Flow についての記事でも、見かけることがある。 それらは TypeScript を使う上で必須の知識ではないが、把握しておくに越したことはない。 この記事では、TypeScript を題材にして、変性について説明していく。 TypeScript に関する議論を理解できるようになることがこの記事の目的であり、より詳細な、学術的、数学的な内容には踏み込まない。 この記事の内容は、TypeScript のv3.9.5で動作確認している。 変性 変性（variance）とは、任意の型Tに対してどのような性質を持つのか示したものであり、以下の 4 種類がある。 不変性（invariance） Tそのものが必要 共変性（covariance） Tそのものか、そのサブタイプが