Hacker News new | ask | show | jobs
by Buttons840 3296 days ago
Probably both. Dependant type systems are still an area of active research.