static-typing

本文通过将类型视为构造新值的正空间而非限制值的负空间，结合积类型和和类型，可以精确建模数据的不变量，避免与类型检查器的斗争。建议使用简单类型组合而不是复杂类型系统特性。

本文解释了静态类型语言中匿名记录类型推断的基础知识，使用了类型理论符号并以Haskell作为实现语言。

Gleam语言创造者Louie深入解释了OTP的核心概念，以及Gleam如何通过类型安全的方式与OTP协同工作，实现了与Erlang/Elixir完全兼容的进程间通信和监督者等构建块。

作者认为，2010年代静态类型编程的复兴归功于改进的类型系统（例如 TypeScript、Haskell、Rust），这些系统提供了可空类型处理、和类型以及类型推断，与 Java 和 C++98 等早期语言中糟糕的静态类型形成对比。

ATS 是一种静态类型编程语言，它将实现与形式化规范统一起来，支持函数式、命令式、并发和模块化编程，并利用依赖类型和线性类型实现高效和安全。

Ü 是一种静态类型的编译型编程语言，专为可靠性和速度而设计，具有安全/不安全代码分离、RAII 和 LLVM 后端。它的目标是优于 C++ 且比 Rust 更易用。

Blorp 是一种新的低摩擦、高性能编程语言，可编译为 C 语言，具有显式效果、类型化失败、结构化并发和纯度追踪等特点。

SPy是Python的一个静态类型变体，既包含用于快速开发的解释器，也包含用于高性能的编译器，旨在保留Python的动态特性同时实现静态编译。

TypeScript 是一种用于大规模 JavaScript 应用的语言，它增加了可选类型。该仓库托管了 TypeScript 编译器及相关工具。