Tag
A talk about context, arguing that most developers work on "programming information" rather than mechanism programming: static types suit artificial, internal mechanisms, while large systems facing the outside world must be dynamic, flexible, and observable — and outlining Clojure's information-oriented approach.
Teal 是 Lua 的静态类型方言，通过类型注解扩展 Lua，支持数组、映射、记录、接口、联合类型与泛型，由 tl 编译器将 .tl 源码编译为 .lua 文件，并配有 Cyan 构建工具与编辑器插件生态。
This article discusses three programming language features: flow typing for dynamic feel in static languages like Crystal and TypeScript, borrow checking for memory safety in Rust, and contract programming for invariant checking in D.
A developer shares code for a hash table in a new static language designed for WebAssembly GC, highlighting manual type requirements and decent performance with a toy compiler.
A developer created Idle, a statically-typed, low-level Lisp for WebAssembly GC with interesting features like O(1) method lookups and macros loaded from Wasm modules.
Wyzer is a new statically typed, compiled programming language that integrates choreographic programming for distributed safety through an ownership-based resource model.
By treating types as positive spaces for constructing new values rather than negative spaces for restricting values, and combining product types and sum types, we can precisely model data invariants and avoid fighting with the type checker. It recommends using simple type composition rather than complex type system features.
The article explains the basics of type inference for anonymous records in statically typed languages, using type theory notation and Haskell as the implementation language.
Gleam language creator Louie deeply explains the core concepts of OTP, and how Gleam works with OTP in a type-safe manner, achieving fully compatible inter-process communication and supervisor building blocks with Erlang/Elixir.
The author argues that the resurgence of static typing in the 2010s was due to improved type systems (e.g., TypeScript, Haskell, Rust) that offer nullable type handling, sum types, and type inference, contrasting with poor static typing in earlier languages like Java and C++98.
ATS is a statically typed programming language that unifies implementation with formal specification, supporting functional, imperative, concurrent, and modular programming with dependent and linear types for high efficiency and safety.
Ü is a statically-typed compiled programming language designed for reliability and speed, with safe/unsafe code separation, RAII, and LLVM backend. It aims to be superior to C++ and easier than Rust.
Blorp is a new low-friction, high-performance programming language that compiles to C, featuring explicit effects, typed failure, structured concurrency, and purity tracking.
SPy is a statically typed variant of Python that includes both an interpreter for rapid development and a compiler for high performance, aiming to retain Python's dynamic features while enabling static compilation.
TypeScript is a language for application-scale JavaScript that adds optional types. The repository hosts the TypeScript compiler and tooling.