layout	default
title	Tutorials
nav_order	2
has_children	true

Cm言語チュートリアル v0.17.2

対象バージョン: v0.17.2
最終更新: v0.17.2 (2026-08-15)

Cm言語の全機能を段階的に学べる包括的なチュートリアル集です。

📚 学習パス

パス1: 基本を学ぶ（初級者向け）

推定時間: 3-4時間

基本編 - 言語の基礎（10チュートリアル）
- はじめに - Cm言語の特徴と設計思想
- 環境構築 - コンパイラのビルドとセットアップ
- Hello, World! - 最初のプログラム
- 変数と型 - プリミティブ型、const/static
- 演算子 - 算術・比較・論理演算
- 制御構文 - if/while/for/switch/defer
- 関数 - 定義・デフォルト引数（自由関数のオーバーロードは未対応）
- 配列 - 宣言・メソッド・for-in
- ポインタ - アドレス・デリファレンス・Array Decay
- モジュール - import/export

パス2: 型システムを学ぶ（中級者向け）

推定時間: 4-5時間

型システム編 - 高度な型機能
- 構造体 - 定義・コンストラクタ・ネスト
- Enum型 - 列挙型・Tagged Union・match分解
- typedef - 型エイリアス・リテラル型
- ジェネリクス - 型パラメータ・推論・モノモーフィゼーション
- インターフェース - interface/impl/self
- 型制約 - AND/OR境界・where句
- 所有権と借用 - 移動セマンティクス・借用
- ライフタイム - 参照の有効期間

パス3: 高度な機能を学ぶ（上級者向け）

推定時間: 5-6時間

高度な機能編 - 言語の強力な機能
- match式 - パターンマッチング・ガード・網羅性チェック
- with自動実装 - Eq/Ord/Clone/Hash
- 演算子オーバーロード - impl T構文・複合代入(+= 等)・ビット演算子
- 関数ポインタ - 高階関数
- ラムダ式 - クロージャ
- 文字列操作 - メソッド・スライス
- スライス - 動的配列
- FFI - C言語連携・use libc
- extern宣言 - C/C++関数の呼び出し
- インラインアセンブリ - asm
- const - コンパイル時定数
- mustキーワード - 戻り値使用の強制
- マクロ - 条件付きコンパイル

パス4: 標準ライブラリを学ぶ

推定時間: 3-4時間

標準ライブラリ編 - Native向けstdモジュール
- 入出力 (io) - println/input/ファイルI/O
- メモリ管理 (mem) - alloc/size_of/Allocator
- 数学関数 (math) - sin/sqrt/PI/gcd
- コア (core) - min/max/clamp/型エイリアス
- Vector - 動的配列・Vector<Vector<int>>
- Queue - FIFOキュー
- HashMap - 連想配列
- TreeMap - 順序付きマップ（AVL木）
- TreeSet / HashSet - 集合（順序付き/ハッシュ・v0.17.2）
- 文字分類・数値解析・フォーマット - chars/parse/format/hash/intern（v0.17.2）
- HTTP通信 - HttpClient/HttpServer/HTTPS
- TCP/UDP通信 - ソケット/DNS/poll
- 並行処理 - スレッド/Mutex/Channel/Atomic
- GPU計算 - Apple Metal GPGPU
- 拡張ガイド - C/C++/ObjC++による拡張

パス5: コンパイラを学ぶ

推定時間: 3時間

コンパイラ編 - ビルドとバックエンド
- コンパイラの使い方 - コマンド・オプション
- LLVMバックエンド - ネイティブコンパイル
- WASMバックエンド - WebAssembly出力
- JSバックエンド - JavaScript出力
- SVバックエンド - SystemVerilog / FPGA出力 🆕
- UEFIベアメタル - UEFIアプリケーション開発（no_std）
- プリプロセッサ - 条件付きコンパイル
- Linter - 静的解析（cm lint）
- Formatter - コードフォーマット（cm fmt）
- 最適化 - O0-O3、末尾呼び出し最適化

パス6: 内部構造を学ぶ（開発者向け）

推定時間: 3時間

内部構造編 - コンパイラの仕組み
- アーキテクチャ - 全体構成とパイプライン
- アルゴリズム - 解析と最適化のアルゴリズム
- 最適化 - MIR/LLVMレベルの最適化

🎯 難易度別ガイド

🟢 初級 - プログラミング経験者

Hello, World!
変数と型
演算子
制御構文
関数

🟡 中級 - Cm言語の基本を理解している

配列・ポインタ
構造体・Enum型
インターフェース
スレッド

🔴 上級 - 型システムとメモリ管理の深い理解が必要

ジェネリクス
型制約
match式・パターンガード
FFI・インラインASM

✅ 実装状況一覧（v0.17.2）

カテゴリ	機能	LLVM	WASM	JS	チュートリアル
基本	プリミティブ型	✅	✅	✅	✅ variables
	制御構文	✅	✅	✅	✅ control-flow
	関数・デフォルト引数	✅	✅	✅	✅ functions
	関数オーバーロード	❌	❌	❌	未対応（重複定義はエラー診断）
	モジュール	✅	✅	✅	✅ modules
データ	構造体	✅	✅	✅	✅ structs
	Enum/Tagged Union	✅	✅	✅	✅ enums
	Result/Option・`?` 演算子	✅	✅	✅	✅ enums
	ユニオン実行時型判別（`is`・match型パターン）	✅	✅	✅	✅ typedef
	配列	✅	✅	✅	✅ arrays
	ポインタ	✅	✅	❌	✅ pointers
型	ジェネリクス	✅	✅	✅	✅ generics
	インターフェース（静的）	✅	✅	✅	✅ interfaces
	インターフェース動的ディスパッチ	✅	✅	✅(値/引数)	ポインタ経由はLLVM系のみ
	型制約	✅	✅	✅	✅ constraints
高度	match式・ガード	✅	✅	✅	✅ match
	with自動実装	✅	✅	✅	✅ with
	クロージャ・ラムダ	✅	✅	✅	✅ lambda
	インラインASM	✅	❌	❌	✅ inline-asm
	extern宣言	✅	✅	❌	✅ extern
	FFI	✅	❌	❌	✅ ffi
std	std::fs（ファイル操作）	✅	❌	❌	✅ io
	HTTP/HTTPS	✅	❌	❌	✅ http
	TCP/UDP/DNS	✅	❌	❌	✅ tcp
	スレッド	✅	❌	❌	✅ thread
	Mutex/RwLock	✅	❌	❌	✅ mutex
	Channel	✅	❌	❌	✅ channel
	Atomic	✅	❌	❌	✅ atomic
	GPU (Metal)	✅	❌	❌	✅ gpu
ツール	Linter	✅	-	-	✅ linter
	cm test / `#[test]`	✅	-	-	✅ state-sim
	Formatter	✅	-	-	✅ formatter
	プリプロセッサ	✅	✅	❌	✅ preprocessor
バックエンド	JSコンパイル	-	-	✅	✅ js-compilation
	SVバックエンド	✅	❌	❌	✅ sv
	UEFIベアメタル	✅	❌	❌	✅ uefi

凡例: ✅ 完全対応 | ⚠️ 部分対応 | ❌ 未対応

💡 学習のヒント

効率的に学ぶために

実際に書く - サンプルを写経する
エラーを読む - エラーメッセージから学ぶ
小さく始める - 簡単なコードから
テストする - 期待通り動くか確認
参照する - tests/common/を見る

つまずいたら

エラーメッセージを確認 - 何が問題か
デバッグモード - --debugで詳細表示
テストコード - tests/common/の動作例を参考に
質問する - GitHubイシューで

🔗 関連リンク

正式言語仕様 - 言語の完全な仕様
設計ドキュメント - アーキテクチャ・設計文書
テストケース - 全バックエンド共通の機能テスト

推定学習時間: 18-22時間
対象バージョン: v0.17.2

最終更新: v0.17.2 (2026-08-15)
著者: Cm Language Development Team

次: 基本編 →

FilesExpand file tree

index.md

Latest commit

History