🛠️ Sirius – A type system for array programming

Summary
Sirius is a work-in-progress array programming language featuring shape-dependent types with constraint solving, loop nest lattice counting, and existentials. The project includes a web demo and a CLI.

Why it’s interesting
It combines established type system features into a unique array programming language designed to be easy to read and debug.

Target user
Programming language enthusiasts and developers who work day-to-day with array languages.

Source metrics: Points 2 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN