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

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

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

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

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

学完基本的语法之后不知道做什么？根本不知道学了编程能做什么？ 本“书”的目的就在于提供一个这样的 index，内容涉及到 Python 开发的方方面面， 并提供对应实例代码&教程。本书致力成为这样一个目录——如果你想知道怎么入门某一方面的开发就来翻看这本书吧！

本书一共包含90个条目，每个条目讨论Java程序设计中的一条规则。这些规则反映了最有经验的优秀程序员在实践中常用的一些有益的做法。全书以一种比较松散的方式将这些条目组织成11章，每一章都涉及软件设计的一个主要方面。因此，本书并不一定需要按部就班地从头读到尾，因为每个条目都有一定程度的独立性。这些条目相互之间经常交叉引用，因此可以很容易地在书中找到自己需要的内...

在接触 Go 语言之后，对这门编程语言非常着迷，期间也陆陆续续开始一些帮助国内编程爱好者了解和发展 Go 语言的工作，比如开始录制视频教程《Go编程基础》。但由于目前国内并没有比较好的 Go 语言书籍，而国外的优秀书籍因为英文的缘故在一定程度上也为不少 Go 语言爱好者带来了一些学习上的困扰，不仅为了加快扩散 Go 爱好者的国内群体，本人在完成阅读这本名叫 ...

Nim是一种静态类型编译的系统编程语言。它结合了其他成熟语言的成功概念。（如python、ADA和Modula）

Raku，原名Perl 6，系perl编程语言家族的成员之一，通用程序设计语言，支持多重编程范式，渐进式类型。Raku主要设计者为拉里·沃尔。作为Perl的后继者，在2000年开始发展，由于接续在Perl 5之后，称为Perl 6，在2019年10月更名为Raku。