Sirius – A type system for array programming

Show HN: Sirius – A type system for array programming

Sirius – A type system for array programming is active in the show hn launch space.

Profile

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). I find it surprisingly easy to read and debug. I'd love to hear your thoughts if you're a PL person or just work day-to-day with array langs.Sorry if the web demo doesn't work for you; it depends on a Z3 Wasm build which seems flaky on some browsers. You'll have to try the CLI to get a hands-on experience.

As a business in show hn launch, Sirius – A type system for array programming is listed here with the public details available about it.

Its current recorded stage is Show HN launch.

Website: www.sirius-lang.org/intro