Hacker News with Generative AI: Type Inference

You Need Subtyping (polybdenum.com)
Ever since Stephen Dolan’s 2016 thesis Algebraic Subtyping showed how to combine type inference and subtyping, I’ve been developing increasingly sophisticated programming languages based on those ideas, first IntercalScript in 2019, then CubiML in 2020, PolySubML in 2025, and with my next language already in the planning stages.
Jet.jl: static type checker with type inference for Julia (github.com/aviatesk)
JET employs Julia's type inference system to detect potential bugs and type instabilities.