用于开发iOS、macOS、watchOS、tvOS和visionOS应用的开源编程语言，具有安全性、高效性、类型推断、泛型、原生代码编译、面向协议的设计、内存管理、Playgrounds、包管理器以及与Objective-C的互操作性。

提供 73 个替代方案

Lean 是一种基于依赖类型理论的函数式编程语言和交互式定理证明器。依赖类型理论将程序与证明的世界统一起来，因此 Lean 也是一种编程语言。

一种用Zig编写的轻量级静态类型脚本语言。