Hacker News new | past | comments | ask | show | jobs | submit login

> If you decide that you want a type system that statically tracks resource utilization, why stop halfway at something that only partially solves the problem?

Because there's a tradeoff between ergonomics and static guarantees. A hybrid system (in this case, static tracking of ownership combined with automatic resource destruction) is a valid choice to balance the upsides and downsides of each extreme.




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

Search: