TypeScript 【入門編】引数に渡す「関数」の戻り値型を、別の引数の型として利用する「依存型」の応用 – TypeScript コア・型システムの基礎解析バイブル
こんにちは！TypeScriptの型システムの世界へようこそ。フロントエンドからバックエンドまで、コードの海をスイスイ泳げるようになるために、今日はとてもエキサイティングなテーマを用意しました。他の言語からTypeScriptに入ってきた方...
javascriptintronational
TypeScript JavaScript 【テクニカル・上級編】厳格モード（use strict）が変数の暗黙的宣言を許さない技術的理由：最適化の観点から – JavaScriptコア文法・モダン言語仕様と変数・関数解析バイブル
V8コンパイラの防壁：なぜ「`use strict`」はJIT最適化とランタイムの運命を変えるのかJavaScriptという言語の歴史は、そのままWebブラウザの「動的ゆえの泥臭さ」と、それをモダンな高速ランタイムへと昇華させてきたエンジニ...
Dart 【テクニカル・上級編】Dartの「パターンマッチング」でJSONのバリデーションを型安全に行う手法 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
Dart 3 パターンマッチングがもたらすランタイム境界防衛：JSONバリデーションの極限最適化Dart 3におけるパターンマッチングとレコード（Records）の導入は、単なるシンタックスシュガーの追加ではない。これは、動的型付けの領域で...
TypeScript 【テクニカル・上級編】関数型における「Recursive Types」を用いた、引数の階層的な型定義 – TypeScript コア・型システムの基礎解析バイブル
再帰的関数型（Recursive Types）の極限：コンパイラを飼い馴らし、深層ツリー構造を型安全にねじ伏せる方法TypeScriptの型システムは、Turing完備である。この事実が何を意味するか。それは、型空間の中で任意のアルゴリズム...
JavaScript 【実務・中級編】厳格モード（use strict）が変数の暗黙的宣言を許さない技術的理由：最適化の観点から – JavaScriptコア文法・モダン言語仕様と変数・関数解析バイブル
厳格モード（`"use strict"`）とV8の深淵：暗黙のグローバル変数がコンパイラの最適化を殺す理由コードレビューの現場で、未だに `var` が放置されていたり、スコープの意図が曖昧なコードを見かけることがある。そして、ファイルやモ...
Dart 【実務・中級編】Dartの「パターンマッチング」でJSONのバリデーションを型安全に行う手法 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
コードレビューをしていて、最も目を覆いたくなる瞬間の一つがこれだ。// どこにでもある「動くが脆い」コードfinal json = jsonDecode(response.body) as Map;final username = json...
TypeScript 【実務・中級編】関数型における「Recursive Types」を用いた、引数の階層的な型定義 – TypeScript コア・型システムの基礎解析バイブル
【TypeScript再帰型システム】無限の階層をコンパイル時で縛り上げる：ツリー構造の完全型安全設計コードレビューをしていて、一番頭が痛くなる瞬間はどんな時か。それは、JSONのパース結果や、UIのツリー構造、あるいはルーティングの設定オ...
JavaScript 【入門編】厳格モード（use strict）が変数の暗黙的宣言を許さない技術的理由：最適化の観点から – JavaScriptコア文法・モダン言語仕様と変数・関数解析バイブル
こんにちは！フロントエンドからNode.jsの深層まで、日夜コードと向き合っているシニアアーキテクトの私です。JavaScriptを学び始めると、変数を宣言するときに `let` や `const` を使いますよね。「あれ、昔のコードやうっ...
Dart 【入門編】Dartの「パターンマッチング」でJSONのバリデーションを型安全に行う手法 – Dart コア文法・オブジェクト指向・Null安全解析バイブル
こんにちは！FlutterやDartでの開発を楽しんでいますか？今回は、Dart 3で導入された「パターンマッチング（Pattern Matching）」を武器にして、外部からやってくるアヤシイJSONデータを安全かつエレガントに料理する方...
TypeScript 【入門編】関数型における「Recursive Types」を用いた、引数の階層的な型定義 – TypeScript コア・型システムの基礎解析バイブル
こんにちは！TypeScriptの型システムを旅するフルスタックエンジニアの先輩です。今回は、TypeScriptの学習において一つの大きな山場であり、かつ最高の快感を味わえるテーマ「再帰型（Recursive Types）」についてお話し...