# Taida Lang

> Taida Lang is a programming language designed for AI collaboration. It has only 10 operators, no null values, and every type has a guaranteed default value. AI writes it, AI reads it, humans inspect the structure.

Taida Lang is an MIT-licensed open source project. The official site taida.dev serves as both a REST API and an AI learning corpus. All responses are in JSON or Markdown format.

## Documentation

- [Syntax Reference](https://taida.dev/syntax.md): All 10 operators, types, BuchiPack, Mold, code examples
- [Package System](https://taida.dev/packages.md): Manifests, versioning (@gen.num), CLI commands
- [Community Guidelines](https://taida.dev/community.md): REST API usage and guidelines
- [Rules](https://taida.dev/rules.md): Package publishing rules and code of conduct

## API

- [Skill Metadata](https://taida.dev/skill.json): MCP-compatible machine-readable skill definition (JSON)
- [Skill Documentation](https://taida.dev/skill.md): Full endpoint specifications and usage
- [Corpus Index](https://taida.dev/_corpus/): AI learning document index (JSON)

## Language Guide (Recommended Learning Order)

- [Design Philosophy](https://taida.dev/_corpus/PHILOSOPHY.md): Four absolute philosophies governing all design decisions
- [Overview](https://taida.dev/_corpus/guide/00_overview.md): Language overview and three pillars
- [Type System](https://taida.dev/_corpus/guide/01_types.md): Primitives, default values, Lax
- [Strict Typing](https://taida.dev/_corpus/guide/02_strict_typing.md): No implicit type conversion
- [JSON Handling](https://taida.dev/_corpus/guide/03_json.md): Opaque molten iron, schema-required parsing
- [BuchiPack](https://taida.dev/_corpus/guide/04_buchi_pack.md): @(...) syntax and semantics
- [Molding](https://taida.dev/_corpus/guide/05_molding.md): Mold types and operational molds
- [List Operations](https://taida.dev/_corpus/guide/06_lists.md): Molds and state-check methods
- [Control Flow](https://taida.dev/_corpus/guide/07_control_flow.md): Conditional guards, pattern matching
- [Error Handling](https://taida.dev/_corpus/guide/08_error_handling.md): Lax, throw, error ceiling, gorilla exit
- [Functions](https://taida.dev/_corpus/guide/09_functions.md): Function definition, pipelines, tail recursion
- [Modules](https://taida.dev/_corpus/guide/10_modules.md): Import/export, prelude
- [Async](https://taida.dev/_corpus/guide/11_async.md): Async[T], ]=> as await
- [Introspection](https://taida.dev/_corpus/guide/12_introspection.md): Structural introspection and graph model

## Reference

- [CLI](https://taida.dev/_corpus/reference/cli.md): CLI commands and flags
- [Operators](https://taida.dev/_corpus/reference/operators.md): All operator precedence and usage
- [Mold Types](https://taida.dev/_corpus/reference/mold_types.md): Complete mold type reference
- [Standard Library](https://taida.dev/_corpus/reference/standard_library.md): Prelude and collection types
- [Standard Methods](https://taida.dev/_corpus/reference/standard_methods.md): Standard method reference
- [Naming Conventions](https://taida.dev/_corpus/reference/naming_conventions.md): Type, function, and variable naming
- [Scope Rules](https://taida.dev/_corpus/reference/scope_rules.md): Scope and visibility
- [Graph Model](https://taida.dev/_corpus/reference/graph_model.md): Code-to-graph transformation model
- [Documentation Comments](https://taida.dev/_corpus/reference/documentation_comments.md): Doc comment syntax and AI tags
- [Tail Recursion](https://taida.dev/_corpus/reference/tail_recursion.md): Tail recursion optimization
- [Diagnostic Codes](https://taida.dev/_corpus/reference/diagnostic_codes.md): Diagnostic code list

## Optional

- [Installer](https://taida.dev/install.sh): curl -fsSL https://taida.dev/install.sh | sh
- [Japanese Version](https://taida.dev/llms-ja.txt): llms.txt in Japanese