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

Keep in mind that Bill was talking about programming in assembly language for extremely resource-constrained systems there. Even today, if you're trying to write an extremely small/fast program/inner loop in assembly, you had better be relying on "dangerous assumptions" like that, or else the result is going to be worse than what a compiler could do.


Ideally you want your type system to enforce as many of these assumptions as possible since when it can you both speed and safety.




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

Search: