Type Systems

Not the keyword you're looking for? See all keywords.

The Rust Effects Debate and Concrete's Case for a Smaller Language The Rust Effects Debate and Concrete’s Case for a Smaller Language
9 min read Keywords:  Programming Languages, Formal Verification, rust, Type Systems, lean

Wuyts is right about effects and ownership. The Hacker News skeptics are right about complexity. Concrete accepts both and says no to refinement types.

Type Systems: From Generics to Dependent Types Type Systems: From Generics to Dependent Types
58 min read Keywords:  programming languages, Type Systems, rust, Functional Programming

A practical guide through the landscape of type systems, from everyday generics to dependent types that prove correctness, with examples in Rust, Scala, and Idris

The Concrete Programming Language: Systems Programming for Formal Reasoning The Concrete Programming Language: Systems Programming for Formal Reasoning
38 min read Keywords:  Programming Languages, Formal Verification, Type Systems, lean

Concrete is a systems language proposal built for machine reasoning, aiming to combine low-level performance with formal verification, safety, and expressive design.