mypy 实用工具是一款针对 Python 的静态类型检查程序。它结合了动态类型和静态类型的优点。想必各位读者也知道，Python 是动态类型编程语言。那么 Python 的静态类型检查有何意义呢？且听细细分解。

这是一本NodeJS新手入门教程，涵盖了使用NodeJS开发各种程序所必要的知识

rust+riscv写操作系统。这是一个展示如何从零开始用 Rust 语言写一个基于 64 位 RISC-V 架构的操作系统的教程。完成这个教程后，你将可以在内核上运行用户态终端，并在终端内输入命令运行其他程序。

本书适用于Golang程序员。您之前应该阅读有关Go的介绍性书籍，或者已经完成了Go By Example。本书的内容包括但不限于并发、网络编程、垃圾回收、组合、GO UNIX系统编程、基本数据类型（Array,Slice,Map）、GO源码、反射，接口，类型方法等高级概念。阅读本书需要一定的编程经验。如果你在工作中使用Go或者业余时间爱好GO，那么这本书一...

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

Scheme是一种函数式编程语言，是Lisp的两种主要方言之一。不同于Common Lisp，Scheme遵循极简主义哲学，以一个小型语言核心作为标准，加上各种强力语言工具来扩展语言本身。 麻省理工学院与其他院校曾采用Scheme教授计算机科学入门课程。

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

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

Project V 提供了单一的内核和多种界面操作方式。内核（V2Ray）用于实际的网络交互、路由等针对网络数据的处理，而外围的用户界面程序提供了方便直接的操作流程。

这个课程是希望提供更多的 Node.js 实战机会，通过每一节精心安排的课程目标，让 Node.js 的初学者们可以循序渐进地，有目的有挑战地开展 Node.js 的学习。