linear typing

3 programming languages

Language	Appeared	Paradigms	Languages it influenced
ATS	2006	functional programming, declarative programming	—
Idris	2007	total functional programming, functional programming, purely functional programming	—
Rust	2006	generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming	12