Linear types

Assess

Languages & Frameworks

A type system that enforces single ownership or single use of values.

Why it's here

Placed in Assess: 1 article(s) of evidence from 1 source(s), led by open-source activity, with 1 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.

Evidence (1)

4Hacker News·8/7/2026open_source
Wyzer, a new resource-oriented programming language
Wyzer is an early-stage statically typed, compiled programming language focused on resource-oriented programming and distributed safety. Its author says it aims to address distributed deadlocks, cross-service correctness, and protocol mismatches using choreographic programming, linear and affine types, and a Perceus-style reference counting model.