Skip to content
Search
K
Main Navigation
后端
工具类
Java
大数据
Golang
Python
嵌入式
Doc
人脸机器人后端服务构建
小智后端服务xiaozh...
K8s
安装
文档
Doc
k8s gpu-oper...
k8s gpu虚拟化
Containerd
helm安装rancher
k8s 使用certma...
k8s 使用本地磁盘存储类
k8s使用NFS作为存储类
helm安装gitlab
helm安装milvus
helm安装dify
helm安装MySQL和...
k8s部署gpt-sovits
helm安装minio
数据库
MySQL
Redis
ElasticSearch
Linux
DevOps
Doc
nginx
处理Vim中粘贴文本的格式问题
基础设施
Awk文本处理经典案例
CentOS 更换 yum 源
Git合并提交
Ubuntu安装企业微信
检测IP替换对应的配置文件
工作常用命令
README
中间件
RabbitMQ
RocketMQ
Kafka
Doc
Nexus
前端
基础
剖析 Vue.js 内部运行机制
前端性能优化原理与实践
杂文
AI&区块链
AI
区块链
面试
笑傲Java面试
场景题
面试准备篇
技术面试题篇
技术面试题自测篇
练级攻略篇
工作篇
面经篇
2025面试准备
Doc
README
头脑风暴
计算机基础
操作系统
网络
Doc
README
书
EffectiveJava
On Java 8
毛泽东选集
关于
简历
Appearance
Menu
Return to top
目录
附录:静态语言类型检查
这是一本我多年来撰写的经过编辑过的论文集,论文集试图将静态检查语言和动态语言之间的争论放到一个正确的角度。还有一个前言部分,描述了我最近对这个话题的思考和见解。
前言
静态类型检查和测试
如何提升打字
生产力的成本
静态和动态