News for hackers. Stuff that matters.

A comment on Learning Haskell is no harder than learning any other programming language. Parent comment

Re:Learning Haskell is no harder than learning any other pro... by ukj on Sunday October 06, 2019 @06:40AM (#21171140)
>I believe it is because abstractions are the way we have always made progress.

>The abstractions allow us to offload a significant part of mental task

Edge/corner cases in our abstractions is also how propagation of uncertainty[1] happens. You can't off-load error-correction [2]

[1] https://en.wikipedia.org/wiki/Propagation_of_uncertainty

[2] https://en.wikipedia.org/wiki/Quantum_error_correction

[ Parent | on HN ]
Re:Learning Haskell is no harder than learning any other pro... by Schoolmeister on Sunday October 06, 2019 @07:02AM (#21171231)
I'm not sure what you mean by "You can't off-load error-correction". In the case of classical computing, we do off-load error-correction (I don't have to worry about bit flips while typing this). In the case of quantum computing, if we couldn't offload error-correction, an algorithm such as Shor's wouldn't be able to written down without explicitly taking error-correction into account. Yet, it abstracts this away and simply assumes that the logical qubits it works with don't have any errors.
[ Parent | on HN ]