Hacker News new | ask | show | jobs
by kaba0 1137 days ago
Dependent types are this basically, Idris, Lean, etc having it. Though proving is a huge challenge, so it is no panacea.