Absolutely nobody:

Haskell developers: what if our type system had a type system?

@spacekookie yo dawg, i heard you like types, so i gave some types to your types, so you can check the code that checks your code

@spacekookie is this a reference to some recent developments specifically?

@spacekookie I’ve got bad news for you about Idris (and Agda, I guess?)

@spacekookie wasn't Rust working on that too, or am i misunderstanding?

Both languages are improving their type system to introduce more concepts from type theory.

The theory is already out there.
It just needs to be implemented in programming languages. But that's hard and requires a lot of expertise and time to do it right.
Haskell and Rust share some concepts/abstractions because the theory behind these concepts is the same.


Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!