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

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

本教程全面介绍 JavaScript 核心语法，从最简单的开始讲起，循序渐进、由浅入深，力求清晰易懂。所有章节都带有大量的代码实例，便于理解和模仿，可以用到实际项目中，即学即用。 本教程适合初学者当作 JavaScript 语言的入门教程，也适合当作日常使用的参考手册。

本手册提供了 CUBA Studio IDE 以及其功能的参考信息，CUBA Studio IDE 有助于提高基于 CUBA 框架的应用程序的开发效率。

本手册提供了 CUBA Studio IDE 以及其功能的参考信息，CUBA Studio IDE 有助于提高基于 CUBA 框架的应用程序的开发效率。

本手册提供了 CUBA Studio IDE 以及其功能的参考信息，CUBA Studio IDE 有助于提高基于 CUBA 框架的应用程序的开发效率。

SequoiaDB 支持创建 MySQL、PostgreSQL、SparkSQL 和 MariaDB 四种关系型数据库实例，并且完全兼容这四种关系型数据库实例的语法及协议。用户可以使用 SQL 语句访问 SequoiaDB ，完成对数据的增、删、查、改操作以及其他语法操作。

本手册是我(作者)在一家中国大陆的中型商业银行做大数据系统工程师中进行的总结归纳，包含开发和运维的各方面的使用、应用场景和最佳实践，以及各个高可用架构的搭建和测试。

当前很多企业正在采用云原生应用程序架构，这可以帮助其IT转型，成为市场竞争中真正敏捷的力量。 O'Reilly 的报告中定义了云原生应用程序架构的特性，如微服务和十二因素应用程序。 本书中作者Matt Stine还探究了将传统的单体应用和面向服务架构（SOA）应用迁移到云原生架构所需的文化、组织和技术变革。本书中还有一个迁移手册，其中包含将单体应用程序分解...

译者一直坚持使用Python3，因为它代表了Python的未来。虽然向后兼容是它的硬伤，但是这个局面迟早会改变的， 而且Python3的未来需要每个人的帮助和支持。 目前市面上的教程书籍，网上的手册大部分基本都是2.x系列的，专门基于3.x系列的书籍少的可怜。