Show HN: Sirius – A type system for array programming

2 points by jlorentz1 2 months ago · 0 comments · 1 min read

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.

No comments yet.