Hi HN, this page is a pitch &amp; 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&#x27;d love to hear your thoughts if you&#x27;re a PL person or just work day-to-day with array langs.<p>Sorry if the web demo doesn&#x27;t work for you; it depends on a Z3 Wasm build which seems flaky on some browsers. You&#x27;ll have to try the CLI to get a hands-on experience.

  • 情报分类：技术价值、项目价值
  • 命中依据：数组编程类型系统，有技术价值
  • 来源：Hacker News 新项目
  • 原作者：jlorentz1
  • 发布时间：2026/9/10 22:01:35