TypeScript 【入門編】タプル型による「名前付き引数」の擬似的な実現 – TypeScript コア・型システムの基礎解析バイブル
こんにちは！TypeScriptの世界へようこそ。フロントエンドからバックエンドまで、日夜コードを書き続けていると、「いかに型安全で、かつ気持ちのいいAPIを設計するか」に直面しますよね。他の言語からTypeScriptに入ってきた方や、基...
TypeScript Dart 【テクニカル・上級編】Dartにおける「late」変数の初期化判定：isInitializedの代替手段と設計論 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
Dartを掌握する極限の知見：`late`の初期化判定という幻影と、コンパイラを欺かないアーキテクチャ設計Dartの言語仕様、そしてDart VMやAOT（Ahead-Of-Time）コンパイラの挙動を極限まで最適化する者にとって、`lat...
Dart 【実務・中級編】Dartにおける「late」変数の初期化判定：isInitializedの代替手段と設計論 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
コードレビュー中、ふと目にしたそのコードに、私は思わずペンを止めた。// よくある「不安型」のコードlate String _apiKey;void updateApiKey(String key) { _apiKey = key;}Str...
Dart 【入門編】Dartにおける「late」変数の初期化判定：isInitializedの代替手段と設計論 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
こんにちは！FlutterやDartを使った開発を楽しんでいますか？今回は、Dartの変数宣言における少し踏み込んだテーマ、「`late`変数の初期化判定と、その裏にある設計論」についてお話しします。他の言語（例えばKotlinの`isIn...
TypeScript 【テクニカル・上級編】TypeScriptにおける「型推論」と「型注釈」の黄金比 – TypeScript コア・型システムの基礎解析バイブル
TypeScriptを掌握する極限の知見：型推論と型注釈の黄金比ランタイムの挙動、V8のヒープアロケーション、そしてTypeScriptコンパイラ（`tsc`）が内部で行う型チェックのAST（抽象構文木）走査コスト。これらを無視して「なんと...
TypeScript 【実務・中級編】TypeScriptにおける「型推論」と「型注釈」の黄金比 – TypeScript コア・型システムの基礎解析バイブル
TypeScriptを掌握する極限の知見：型推論と型注釈の黄金比コードレビューをしていると、両極端なコードによく出くわす。一つは「一切の型を信じず、すべての変数と戻り値に冗長な型注釈を貼りまくった、JavaやC#の亡霊のようなコード」。もう...
TypeScript 【入門編】TypeScriptにおける「型推論」と「型注釈」の黄金比 – TypeScript コア・型システムの基礎解析バイブル
こんにちは！TypeScriptの世界へようこそ。フロントエンドからバックエンドまで、日夜コードと向き合っていると、「どこまで型を自分で書いて、どこからTypeScriptの頭脳に任せるべきか」という設計のジレンマにぶつかることってありませ...
Dart 【テクニカル・上級編】Dartの型エイリアスとレコードを組み合わせた、軽量なデータ転送オブジェクト（DTO）設計 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
Dartの型エイリアスとレコードが切り拓くゼロ・アロケーションDTO設計：コンパイラとVMの深淵Dart 3におけるレコード（Records）とパターンマッチングの導入は、言語の表現力を飛躍的に向上させた。しかし、シニアエンジニアやランタイ...
Dart 【実務・中級編】Dartの型エイリアスとレコードを組み合わせた、軽量なデータ転送オブジェクト（DTO）設計 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
はじめに：なぜ「ただのクラス」を捨ててレコードを使うのかコードレビューをしていて、APIからのレスポンスやコンポーネント間の状態受け渡しのために、わざわざ次のような数行のボイラープレート（定型コード）クラスを見かけるたびに、私はエンジニアと...
Dart 【入門編】Dartの型エイリアスとレコードを組み合わせた、軽量なデータ転送オブジェクト（DTO）設計 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
こんにちは！FlutterやDartを使った開発を楽しんでいますか？今回は、Dartのコア文法の中でも、特にモダンで「知っていると一目置かれる」型エイリアス（`typedef`）とレコード（Records）を組み合わせた軽量DTO（データ転...