プログラミング言語の本質を理解する包括的ガイド。型システム、メモリモデル、制御構造、関数、並行処理、言語比較まで、言語を「使う」だけでなく「理解して選ぶ」力を身につける。
型システムは「プログラムの正しさを保証する」最も基本的な仕組みであり、
**型推論は「型を書かなくても、コンパイラが自動的に型を決定する」仕組みである。静的型付けの安全性と動的型付けの簡潔さを両立させる、プログラミング言語設計の中核技術の一つ。**
多態性は「同じコードで異なる型を扱う」能力。コードの再利用性と型安全性を両立する鍵。
ADT は「直積型（AND）と直和型（OR）の組み合わせ」でデータを正確にモデリングする手法。不正な状態を型で表現不可能にする。
プログラムのメモリは「スタック」（高速・自動管理）と「ヒープ」（柔軟・手動/GC管理）に分かれる。この区別を理解することが、パフォーマンスとメモリ安全性の基盤となる。
**GC（Garbage Collection）は「不要になったメモリを自動的に回収する」仕組みである。**
**到達目標**: Rust の所有権システム（Ownership）・借用（Borrowing）・ライフタイム（Lifetime）の 3 本柱を理解し、GC なしで安全かつ高速なプログラムを設計できるようになること。コンパイル時にメモリ安全性を保証するという革命的な仕組みの原理を、豊富なコード例と図解で体系的に学ぶ。
メモリ回収の2大戦略。それぞれの仕組み・トレードオフ・適用場面を理解し、言語の特性を深く把握する。
制御フローはプログラムの「実行順序を変える」仕組み。分岐とループの設計は言語の哲学を反映する。
パターンマッチは「データの構造に基づいて分岐する」強力な制御構造。switch文の進化版であり、関数型プログラミングの中心的な機能。
エラーを「どう表現し、どう伝播し、どう処理するか」は言語設計の重要な決断。例外、Result型、エラーコードの3大戦略を理解する。
イテレータは「コレクションの要素を1つずつ取り出す」抽象化であり、遅延評価により無限シーケンスやメモリ効率の良い処理を可能にする。ジェネレータは「実行を中断・再開できる関数」として、イテレータを手軽に作成するための構文糖衣である。本章では、これらの概念を基礎から応用まで体系的に解説する。
関数が「値」として扱える言語では、関数を変数に代入し、引数として渡し、戻り値として返すことができる。これはモダンプログラミングの基盤であり、関数型プログラミングの出発点でもある。Christopher Strachey が1967年に提唱した「第一級（first-class）」の概念は、半世紀以上を経て、ほぼ全ての主要言語に取り入れられるに至った。
クロージャは「定義時の環境を捕捉する関数」。状態を持つ関数を作り出す、関数型プログラミングの核心技術。
高階関数は「関数を引数に取る、または関数を返す関数」。コードの再利用性と抽象化のレベルを劇的に向上させる。
再帰は「問題を同じ構造の小さな問題に分解する」技法。数学的に美しく、ツリー・グラフ・分割統治に不可欠。
並行処理は「複数の処理を同時に進める」技術。プロセスとスレッドの違いを理解することが、並行プログラミングの出発点。
async/await は「I/O待ちの間に他の処理を進める」仕組みである。スレッドを使わずに大量の同時接続を効率的に処理する、現代のサーバーサイド・UIプログラミングの基盤技術。
「共有メモリではなく、メッセージの送受信で通信する」。データ競合を根本的に回避する並行処理の設計原則。
並列プログラミングは「複数のCPUコアを活用して処理を高速化する」技術である。データ並列とタスク並列の2つのアプローチを軸に、ハードウェアレベルからアプリケーションレベルまでの並列化手法を体系的に学ぶ。
スクリプト言語は「素早く書いて、素早く動かす」ことに最適化された言語群。それぞれの哲学・強み・エコシステムを比較する。
システム言語は「ハードウェアに近い制御」と「高いパフォーマンス」を提供する。OS、ドライバ、ゲームエンジン、インフラツールの基盤。
JVM（Java Virtual Machine）上で動く言語群。Javaの巨大なエコシステムを共有しつつ、それぞれが異なる哲学で進化。
純粋関数型言語は「副作用のない関数」と「不変データ」を中核に据える。バグの少なさ、テストのしやすさ、並行処理の安全性で独自の強みを持つ。本ガイドでは、主要5言語（Haskell, Elixir, Elm, F#, OCaml）を多角的に比較し、設計哲学から実践的な選定基準までを網羅的に解説する。
言語の歴史を知ることは、現在の言語設計の「なぜ」を理解し、未来のトレンドを予測する力を与える。
2010年代以降の主要言語は、過去数十年の研究と失敗から学び、共通する「ベストプラクティス」を標準装備として取り込んでいる。本章ではこれらの共通機能を網羅的に解説し、各機能の理論的背景、言語間比較、実装パターンまで深掘りする。
DSL（Domain-Specific Language）は「特定の問題領域に特化した言語」であり、メタプログラミングは「プログラムでプログラムを生成・変換する」技術である。この2つは表裏一体の関係にあり、表現力の高いソフトウェアを構築するための重要な手法である。本章では DSL の設計原則からメタプログラミングの各手法まで、理論と実践の両面から解説する。
AI がコードを書く時代に、プログラミング言語はどう進化するか。人間と AI の協調、メモリ安全性への要求、WebAssembly の拡大、新しいパラダイムの台頭、そして次世代言語の設計思想を包括的に展望する。本章では、現在のトレンドを起点に、5年後・10年後・20年後のプログラミング言語の姿を理論と根拠に基づいて予測する。