# Taida Lang

> Taida Lang は AI 協業時代のプログラミング言語です。演算子はわずか 10 種、null は存在せず、全ての型にデフォルト値が保証されます。AI が書き、AI が読み、人間は構造を眺めます。

Taida Lang は MIT ライセンスのオープンソースプロジェクトです。公式サイト taida.dev は REST API 兼 AI 学習コーパスとして機能し、全てのレスポンスは JSON または Markdown で返されます。

## ドキュメント

- [構文リファレンス](https://taida.dev/syntax.md): 全 10 演算子、型、BuchiPack、Mold、コード例
- [パッケージシステム](https://taida.dev/packages.md): マニフェスト、バージョニング (@gen.num)、CLI コマンド
- [コミュニティガイドライン](https://taida.dev/community.md): REST API の利用方法とガイドライン
- [ルール](https://taida.dev/rules.md): パッケージ公開ルールと行動規範

## API

- [Skill メタデータ](https://taida.dev/skill.json): MCP 対応の機械可読な Skill 定義 (JSON)
- [Skill ドキュメント](https://taida.dev/skill.md): 全エンドポイントの仕様と使い方
- [コーパスインデックス](https://taida.dev/_corpus/): AI 学習用ドキュメント一覧 (JSON)

## 言語ガイド (推奨学習順)

- [設計哲学](https://taida.dev/_corpus/PHILOSOPHY.md): 全ての設計判断を支配する 4 つの絶対哲学
- [概要](https://taida.dev/_corpus/guide/00_overview.md): 言語の全体像と 3 本柱
- [型システム](https://taida.dev/_corpus/guide/01_types.md): プリミティブ、デフォルト値、Lax
- [厳格な型付け](https://taida.dev/_corpus/guide/02_strict_typing.md): 暗黙変換の禁止
- [JSON 処理](https://taida.dev/_corpus/guide/03_json.md): 不透明な溶鉄、スキーマ必須のパース
- [BuchiPack](https://taida.dev/_corpus/guide/04_buchi_pack.md): @(...) の構文と意味論
- [モールディング](https://taida.dev/_corpus/guide/05_molding.md): モールディング型と全操作モールド
- [リスト操作](https://taida.dev/_corpus/guide/06_lists.md): モールドと状態チェックメソッド
- [制御フロー](https://taida.dev/_corpus/guide/07_control_flow.md): 条件ガード、パターンマッチング
- [エラー処理](https://taida.dev/_corpus/guide/08_error_handling.md): Lax、throw、エラー天井、ゴリラ終了
- [関数](https://taida.dev/_corpus/guide/09_functions.md): 関数定義、パイプライン、末尾再帰
- [モジュール](https://taida.dev/_corpus/guide/10_modules.md): インポート/エクスポート、プリリュード
- [非同期処理](https://taida.dev/_corpus/guide/11_async.md): Async[T]、]=> による await
- [イントロスペクション](https://taida.dev/_corpus/guide/12_introspection.md): 構造的イントロスペクションとグラフモデル

## リファレンス

- [CLI](https://taida.dev/_corpus/reference/cli.md): CLI コマンドとフラグ
- [演算子](https://taida.dev/_corpus/reference/operators.md): 全演算子の優先順位と使用例
- [モールド型](https://taida.dev/_corpus/reference/mold_types.md): モールド型の完全リファレンス
- [標準ライブラリ](https://taida.dev/_corpus/reference/standard_library.md): プリリュードとコレクション型
- [標準メソッド](https://taida.dev/_corpus/reference/standard_methods.md): 標準メソッドリファレンス
- [命名規則](https://taida.dev/_corpus/reference/naming_conventions.md): 型、関数、変数の命名規則
- [スコープルール](https://taida.dev/_corpus/reference/scope_rules.md): スコープと可視性
- [グラフモデル](https://taida.dev/_corpus/reference/graph_model.md): コードからグラフへの変換モデル
- [ドキュメントコメント](https://taida.dev/_corpus/reference/documentation_comments.md): ドキュメントコメント構文と AI タグ
- [末尾再帰](https://taida.dev/_corpus/reference/tail_recursion.md): 末尾再帰最適化
- [診断コード](https://taida.dev/_corpus/reference/diagnostic_codes.md): 診断コード一覧

## Optional

- [インストーラ](https://taida.dev/install.sh): curl -fsSL https://taida.dev/install.sh | sh