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 in this space). ...
Source: [Hacker News](https://www.sirius-lang.org/intro)