We have traits at home(axelmagn.com)
40 points by Ygg2 | 14 comments
A blog post proposing a convention for compile-time Traits in Zig as comptime structs of functions, compared with interfaces/vtables and comptime duck typing.
#type-systems on Hacker News
19 stories tagged type-systems, newest first.
2026 is an exciting year for the Rust compiler (and me)(yoyo-code.com)
166 points by panstromek | 117 comments
Blog post by Matyáš Racek on Rust compiler initiatives maturing in 2026, starting with the next-generation trait solver.
Borrow Checking Zero-Cost Cyclic Mutability(antelang.org)
35 points by jfecher | 2 comments
A blog post from the Ante programming language project describing a borrow-checking approach that allows zero-cost cyclic shared mutability.
Java sealed classes and exhaustive pattern matching(neilmadden.blog)
180 points by hnisjafx40 | 139 comments
Blog post by Neil Madden explaining Java 17 sealed classes and how they enable exhaustive pattern matching, with examples using sealed interfaces and records.
Teal – A statically-typed dialect of Lua(teal-language.org)
160 points by Lyngbakr | 64 comments
Homepage of Teal, a statically-typed dialect of Lua, with links to about, playground, download, docs, and community.
Types of types: Haskell's Kind system(thunk.blog)
108 points by Thom2503 | 75 comments
Blog post explaining Haskell's Kind system, drawn from the author's work adding typed configuration to a Haskell Redis server clone.
Vx – One Language, Every Chip(vxlang.org)
60 points by elffjs | 29 comments
Homepage of Vx, a systems programming language for heterogeneous computing that encodes CPU, GPU, NPU and accelerator memory in its type system.
Rusty thoughts on "Parse, don't validate"(eli.thegreenplace.net)
59 points by ingve | 28 comments
Eli Bendersky's blog post reviewing Alexis King's "Parse, don't validate" pattern as applied to Rust, with examples from the standard library and well-known projects.
Formal methods and the future of programming(blog.janestreet.com)
322 points by eatonphil | 99 comments
Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.
Elixir v1.20: Now a gradually typed language(elixir-lang.org)
959 points by cloud8421 | 377 comments
Official Elixir blog post by José Valim announcing Elixir v1.20, which adds type inference and gradual type checking to every Elixir program without annotations.
A couple million lines of Haskell: Production engineering at Mercury(blog.haskell.org)
399 points by unignorant | 196 comments
Haskell Blog post by Ian Duncan, first in the 'Haskellers from the trenches' series, on production engineering with a multi-million-line Haskell codebase at Mercury.
Elixir 1.19(elixir-lang.org)
354 points by theanirudh | 113 comments
Official Elixir blog post announcing the v1.19 release, with enhanced type checking, broader type inference, and up to 4x faster compilation for large projects.
Unexpected productivity boost of Rust(lubeno.dev)
489 points by bkolobara | 446 comments
Blog post by Bernard Kolobara on Lubeno describing how Rust's initial productivity dip gives way to an unexpected productivity boost over time.
OCaml as my primary language(xvw.lol)
365 points by nukifw | 258 comments
A personal blog post, translated from French, explaining why the author chose OCaml as their primary programming language since 2012.
Borgo Programming Language(borgo-lang.github.io)
334 points by MrBuddyCasino | 159 comments
Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.
Why Haskell?(gtf.io)
387 points by mesaoptimizer | 533 comments
A long personal essay arguing why Haskell is a practical, productive language for building real software like web servers, covering fewer mistakes and easier reasoning.
Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27(elixir-lang.org)
436 points by clessg | 114 comments
Official Elixir blog post announcing Elixir v1.17, adding set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support.
The hunt for the missing data type(hillelwayne.com)
623 points by todsacerdoti | 227 comments
Hillel Wayne blog post exploring why programming languages lack a built-in graph data type in their standard libraries.
Writing Python like it's Rust(kobzol.github.io)
441 points by thunderbong | 266 comments
A blog post on applying Rust-inspired practices like strict type hints and sound API design to writing Python code.