static-typing

Ü 是一种静态类型的编译型编程语言，专为可靠性和速度而设计，具有安全/不安全代码分离、RAII 和 LLVM 后端。它的目标是优于 C++ 且比 Rust 更易用。

Blorp 是一种新的低摩擦、高性能编程语言，可编译为 C 语言，具有显式效果、类型化失败、结构化并发和纯度追踪等特点。

SPy是Python的一个静态类型变体，既包含用于快速开发的解释器，也包含用于高性能的编译器，旨在保留Python的动态特性同时实现静态编译。