Python是一个“优雅”、“明确”、“简单”的编程语言。 学习曲线低，非专业人士也能上手 开源系统，拥有强大的生态圈 解释型语言，完美的平台可移植性 支持面向对象和函数式编程 能够通过调用C/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++ 的性能。它的类型由一个先进的全局类型推理...

这是小白的零基础JavaScript全栈教程。JavaScript是世界上最流行的脚本语言，因为你在电脑、手机、平板上浏览的所有的网页，以及无数基于HTML5的手机App，交互逻辑都是由JavaScript驱动的。简单地说，JavaScript是一种运行在浏览器中的解释型的编程语言。

GF(Go Frame)是一款模块化、松耦合、轻量级、高性能的Go语言Web开发框架。支持热重启、热更新、多域名、多端口、多服务、HTTP/HTTPS、动态路由等特性，并提供了Web服务开发的系列核心组件，如：Router、Cookie、Session、服务注册、配置管理、模板引擎、数据校验、分页管理、数据库ORM等等等等，并且提供了数十个实用开发模块集，如...

欢迎阅读本书《自己动手写编译器》，本书将介绍一个非常简单的编译器（ TinyC 编译器）的实现，用简单和易于实现的实例来描述基本的编译原理及过程，希望能为学习编译原理的读者提供一些参考。

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

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