evertedsphere / shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Discord

shorshe

An experiment in building a pure functional language with mutability and zero-cost abstractions, by integrating linear dependent typing with a Rust-like ownership system.

Pronounced /sərʂeː/ (transliterated sarṣē according to ISO15919) — "shore-shay" is a good approximation.

About

freshly-fermented, dependently-typed mustard, with a substructural aftertaste


Languages

Language:Haskell 100.0%