TypeScript是一种由微软开发的自由和开源的编程语言。它是JavaScript的一个严格超集，并添加了可选的静态类型和使用看起来像基于类的面向对象编程语法操作Prototype。

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

Clojure是Lisp编程语言在Java平台上的现代、动态及函数式方言。 与其他Lisp一样，Clojure视代码为数据且拥有一套Lisp宏系统。 其开发过程当前由社区驱动， 其作者里奇·希基则以终身仁慈独裁者的身份进行监督。 Clojure提倡不可变性与持久数据结构并鼓励程序员显式地管理标识及其状态。

Python [1] （英国发音：/ˈpaɪθən/ 美国发音：/ˈpaɪθɑːn/）, 是一种面向对象的解释型计算机程序设计语言，由荷兰人Guido van Rossum于1989年发明，第一个公开发行版发行于1991年。 Python是纯粹的自由软件， 源代码和解释器CPython遵循 GPL(GNU General Public License)协议...

Clojure(读作 "Closure")是 Rich Hickey 发明的一门 Lisp 方言, 它是一门通用编程语言但是着重于函数式编程. Clojure 本身编译到 JVM Bytecode 运行, 而 ClojureScript 编译到 JavaScript 运行. ClojureScript 在不可变数据和 DSL 构造方面的优势使之非常适合配...

zDoc 是一种 wiki，设计它的目的和 markdown 是一样的。 后来我决定再重写一个解析器， 同时支持 zDoc 和 markdown 这两种语法。由于 markdown 语法偏弱，所以我选择了 GFM(github 的一种 markdown 方言) 来进行支持。

Python 是 Guido Van Rossum 创建的通用编程语言。 如果您刚刚开始编程生涯，Python 因其优雅的语法和可读代码而广受赞誉。Python 最适合您。 使用 Python，您可以完成 GUI 开发，Web 应用，系统管理任务，财务计算，数据分析，可视化以及列表等所有工作。

这是一套深入探讨 JavaScript 语言核心机制的系列丛书之《你不懂JS：作用域与闭包》

开箱即用、高性能、兼容流行生态、支持多语言的一站式开源微服务解决方案

The goal of the cookbook is to provide solutions to common tasks and problems in analyzing data.