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

And then all that is undone and ran in a processor with registers which is essentially imperative with shared mutable state again. Congrats


Does this logic not basically invalidate anything that isn't imperative at a high level that eventually runs on a processor? Like, "why bother writing Haskell? It just gets compiled and ran imperatively." Isn't the whole point that you can reason about Haskell?




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

Search: