Brendan Zabarauskas on Twitter: "@TaliaRinger Reminds me a bit of how Rust's limited, staged form of ‘types depending on terms’ is called ‘constant generics’. Definitely a bit more approachable in the context of Rust." / Twitter

Maybe a hot take, but if we rename "dependent types" to "value polymorphism," I think they'll catch on more quickly and also be less confusing to people

Quote Tweet

Talia Ringer

@TaliaRinger

· Mar 21

Just interesting. I think it's funny that people think of dependent types as weird and niche, but keep inventing them over and over again. They're going to be everywhere eventually in at least limited forms, with better understanding informing better implementations and tools

Show this thread

Brendan Zabarauskas

@brendanzab

Replying to

@TaliaRinger

Reminds me a bit of how Rust's limited, staged form of ‘types depending on terms’ is called ‘constant generics’. Definitely a bit more approachable in the context of Rust.

8:36 AM · Mar 21, 2022Twitter Web App

Replying to

and

Here's a link to the reference for those who might be unfamiliar: doc.rust-lang.org/reference/item

Conversation