4 ms·
> [Callbacks] do not in any way inhibit the ability to analyse or prove correct a program It's obvious to me that they do: humans are not that good at keeping
by zurn 13y ago
> [Callbacks] do not in any way inhibit the ability to analyse or prove correct a program
It's obvious to me that they do: humans are not that good at keeping track of these fragmented chains of flow control. They're just more balls in the air for the juggler.
In building systems, we are using many layers of abstractions all the time (or "syntax sugar" as you say).
- mgkimsal 13y agoThe answer to that is obvious. At least a handful of people are expert jugglers - in fact, these people are so good at it, they've never actually been good at handling one thing at a time - they constantly juggle everything, and have been doing so for decades. They've just been dying for the world to make juggling mandatory, because now they can truly shine. All the other 99% of us need to do is take juggling classes for the next several years and reorient all of our work around juggling. Just quit doing things the way you've done (successfully) for the past several years. Problem solved.