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

The things that matter in critical embedded systems are typically not captured by type systems: memory boundedness, running time upper bounds, overflows,... For these things even (controlled) C is a better option than Haskell today.


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

Search: