Rust
Rust致力于成为优雅解决高并发和高安全性系统问题的编程语言，适用于大型场景，即创造维护能够保持大型系统完整的边界。这就导致了它强调安全，内存布局控制和并发的特点。
CSC 200(H) The TyExprC Type Checker
