Hacker News new | ask | show | jobs
by byt143 2310 days ago
Even then shape errors would require a dependent type system not found in most static languages.
1 comments

There are levels of survival I'm prepared to accept.