programming languages

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

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 AI Training Data Trap for Programming Languages Has an Exit The AI Training Data Trap for Programming Languages Has an Exit
7 min read Keywords:  Programming Languages, AI, llm, concrete

Edgar Luque is right that AI creates a new barrier for programming languages. He is wrong that the barrier is universal. Languages designed for machine generation and machine verification invert the problem entirely.

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.

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.