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

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

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

本教程要求有一定的服务并发编程基础，了解select和epoll等多路I/O复用机制。教程目的主要是快速建立libevent的认知，了解libevent的常用数据结构和编程方法。达到可以使用libevent写出自己的高并发服务器处理模型。

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

Nest 是一个用于构建高效，可扩展的 Node.js 服务器端应用程序的框架。它使用渐进式 JavaScript，内置并完全支持 TypeScript（但仍然允许开发人员使用纯 JavaScript 编写代码）并结合了 OOP（面向对象编程），FP（函数式编程）和 FRP（函数式响应编程）的元素。

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

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

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

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