An elegant, efficient, and safe programming language
Safe type operations through pattern matching
Verify type constraints at compile time
Manage program side effects in declarative way
Develop system tools, compilers, and high-performance CLI applications
Build high-concurrency, distributed backend services
Unified language for full-stack development
High-performance game engines and real-time rendering systems
Build high-performance neural networks and ML frameworks
Develop IoT devices and embedded systems with resource constraints