Show HN: Sirius – A type system for array programming
By jlorentz1 · 2026-09-10 · 1 points · 0 comments
https://www.sirius-lang.org/intro
Hi HN, this page is a pitch & demo for my WIP array programming language. Nothing in the type system is novel -- shape-dependent types with constraint solving, loop nest lattice counting, existentials -- but I think the combination is unique (hard to say considering the activity…
Open the full discussion on BetterNews