Welcome to AILANG
AILANG is an AI-first programming language designed for AI-assisted software development.
Quick Links
- Get Started - Installation and first steps
- Examples - Sample AILANG programs
- llms.txt - AI-readable documentation
- GitHub - Source code and issues
Features
- Pure Functional Programming - Immutable data and explicit effects
- Algebraic Effects System - Track side effects in the type system
- Type Classes - Num, Eq, Ord, Show with dictionary-passing
- Pattern Matching - Constructors, tuples, lists, wildcards
- Module System - Cross-module imports with capability-based security
Current Status: v0.3.0
✅ Recursion, blocks, records, pattern matching, type classes, effects (IO, FS, Clock, Net)