LAUNCH · SIGNAL STARTUP
Show HN: Sirius – A type system for array programming
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 c…
出典・元記事Hacker News — Show HNhttps://www.sirius-lang.org/intro 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP