#プログラミング言語
189 件の記事
TypeScript上級講座 #6 モジュールと.d.ts
外部ライブラリの型をどう扱い拡張するか — 宣言ファイル(.d.ts)、declareキーワード、module augmentation、そしてグローバル型の追加まで。
モダンPython実践 #3 DB 連携 — SQLAlchemy 2.x + Alembic
SQLAlchemy 2.x の新スタイル — Mapped/mapped_column、async セッション、FastAPI の依存性注入との結合、Alembic のマイグレーションまで整理します。
TypeScript上級講座 #5 Discriminated unionと型ガード深掘り
複数の形のデータを安全に扱うモデリング — discriminated union、ユーザー定義型ガード、assertion関数、そしてbranded typesまで。
モダンPython実践 #2 ルーティング、Pydantic モデル、依存性注入
APIRouter でルート分離、Pydantic v2 スキーマで入出力を定義、Depends で共通ロジックをきれいに解くパターンまで整理します。
TypeScript上級講座 #4 Template literal types
文字列を型レベルで合成する道具 — `${...}`パターン、Capitalize/Uppercaseの組み込み、そしてルート/イベント名を型でモデリングする実戦パターン。
モダンPython実践 #1 FastAPI のはじめ方とセットアップ
なぜ FastAPI なのか、uv で最初のプロジェクトをセットアップ、Hello FastAPI、OpenAPI/Swagger UI の自動生成までを一カ所に整理します。
TypeScript上級講座 #3 Conditional typesとinfer
型レベルのif文 — T extends U ? X : Y の分配動作とinferで型の中の値を引き出すパターン、ReturnTypeとAwaitedを自分で作ってみます。
モダンPython上級 #7 性能 — cProfile、py-spy、メモリプロファイリング
遅い Python コードを見つけて直す道具箱 — timeit、cProfile、py-spy、line_profiler、memray、そしてよくある最適化パターンまで整理します。
TypeScript上級講座 #2 Mapped types
オブジェクト型を一度に変換するmapped types — Partial/Required/Readonlyがどう作られたかから、キーの再マッピング(as)、modifier(+/-)まで。
モダンPython上級 #6 typing 上級 — Variance、ParamSpec、Self、overload
中級 typing の次の段階 — covariance/contravariance、ParamSpec と Concatenate、Self、TypeGuard/TypeIs、@overload まで整理します。
TypeScript上級講座 #1 keyofとtypeof
型を作る最も基本的な道具二つ — keyofでキーを集め、typeofで値から型を引き出す方法、そして二つが出会うと可能になるパターン。
モダンPython上級 #5 GILと並行性 — threading vs multiprocessing vs asyncio
GIL の正体、threading/multiprocessing/asyncio という 3 つの道具のポジション、そして Python 3.13~3.14 の free-threaded ビルド (PEP 703/779) までを一カ所に整理します。