Might I intrest you in dependent types? Sadly we don't even have a self hosted c... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		wbl on Sept 12, 2019 \| parent \| context \| favorite \| on: Why is Rust slightly slower than C? Might I intrest you in dependent types? Sadly we don't even have a self hosted compiler yet.

Zarel on Sept 13, 2019 [–]

I really like dependent types as a concept! But they're not really in any mainstream languages, so I haven't had much opportunity to play around with them. :(

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact