Crystal 是一种通用的、面向对象的编程语言，由 Ary Borenszweig、Juan Wajnerman、Brian Cardiff 和 300 多名贡献者设计开发。Crystal 的语法受到 Ruby 的启发，属于编译语言，具有静态类型检查功能，但一般不需要指定变量或方法参数的类型，可实现接近 C/C++ 的性能。它的类型由一个先进的全局类型推理...

Zig 是一门开源的编程语言，专为稳定性、可维护性和最优性而设计。具有以下值得关注的特性：手动管理内存；与 C 语言竞争而非依赖它，Zig 标准库不依赖于 libc；轻量而简单的语言，专注于调试应用而不是调试编程语言的知识；新的错误处理方法，与编写良好的 C 语言错误处理类似，但减少了很多冗余；调试模式下优化了快速编译时间，并在不确定行为发生时使用堆栈跟踪崩...

Agda，一种依赖类型编程语言/交互式定理证明器。

Agda，一种依赖类型编程语言/交互式定理证明器。

Crystal 是一种通用的、面向对象的编程语言，由 Ary Borenszweig、Juan Wajnerman、Brian Cardiff 和 300 多名贡献者设计开发。Crystal 的语法受到 Ruby 的启发，属于编译语言，具有静态类型检查功能，但一般不需要指定变量或方法参数的类型，可实现接近 C/C++ 的性能。它的类型由一个先进的全局类型推理...

Crystal 是一种通用的、面向对象的编程语言，由 Ary Borenszweig、Juan Wajnerman、Brian Cardiff 和 300 多名贡献者设计开发。Crystal 的语法受到 Ruby 的启发，属于编译语言，具有静态类型检查功能，但一般不需要指定变量或方法参数的类型，可实现接近 C/C++ 的性能。它的类型由一个先进的全局类型推理...

Crystal 是一种通用的、面向对象的编程语言，由 Ary Borenszweig、Juan Wajnerman、Brian Cardiff 和 300 多名贡献者设计开发。Crystal 的语法受到 Ruby 的启发，属于编译语言，具有静态类型检查功能，但一般不需要指定变量或方法参数的类型，可实现接近 C/C++ 的性能。它的类型由一个先进的全局类型推理...

Zig 是一门开源的编程语言，专为稳定性、可维护性和最优性而设计。具有以下值得关注的特性：手动管理内存；与 C 语言竞争而非依赖它，Zig 标准库不依赖于 libc；轻量而简单的语言，专注于调试应用而不是调试编程语言的知识；新的错误处理方法，与编写良好的 C 语言错误处理类似，但减少了很多冗余；调试模式下优化了快速编译时间，并在不确定行为发生时使用堆栈跟踪崩...

Zig 是一门开源的编程语言，专为稳定性、可维护性和最优性而设计。具有以下值得关注的特性：手动管理内存；与 C 语言竞争而非依赖它，Zig 标准库不依赖于 libc；轻量而简单的语言，专注于调试应用而不是调试编程语言的知识；新的错误处理方法，与编写良好的 C 语言错误处理类似，但减少了很多冗余；调试模式下优化了快速编译时间，并在不确定行为发生时使用堆栈跟踪崩...

Zig 是一门开源的编程语言，专为稳定性、可维护性和最优性而设计。具有以下值得关注的特性：手动管理内存；与 C 语言竞争而非依赖它，Zig 标准库不依赖于 libc；轻量而简单的语言，专注于调试应用而不是调试编程语言的知识；新的错误处理方法，与编写良好的 C 语言错误处理类似，但减少了很多冗余；调试模式下优化了快速编译时间，并在不确定行为发生时使用堆栈跟踪崩...