static-typing

一场关于上下文的演讲，主张大多数开发者从事的是“信息编程”而非机制编程：静态类型适合人造的、内部的机制，而面向外部世界的大型系统必须是动态的、灵活的、可观测的，并阐述了 Clojure 的信息导向方法。

Teal 是 Lua 的静态类型方言，通过类型注解扩展 Lua，支持数组、映射、记录、接口、联合类型与泛型，由 tl 编译器将 .tl 源码编译为 .lua 文件，并配有 Cyan 构建工具与编辑器插件生态。

本文讨论了三种编程语言特性：用于在Crystal和TypeScript等静态语言中实现动态感觉的流类型、用于确保Rust内存安全的借用检查，以及用于D语言中不变性检查的契约编程。

一位开发者分享了一种为 WebAssembly GC 设计的新静态语言的哈希表代码，强调了手动类型要求以及使用玩具编译器获得的不错性能。

一位开发者创建了 Idle，这是一个用于 WebAssembly GC 的静态类型、低级 Lisp，具有 O(1) 方法查找和从 Wasm 模块加载宏等有趣功能。

Wyzer 是一种新的静态类型、编译型编程语言，通过基于所有权的资源模型集成编排式编程，实现分布式安全。

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

本文解释了静态类型语言中匿名记录类型推断的基础知识，使用了类型理论符号并以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 编译器及相关工具。