> It is deceptively hard [...] The set of abstractions required to do it right are unobvious and nontrivial ...

I would be very interested to hear more about this aspect, if you would be willing to share. I'm always curious about things that sound like they should be simple but end up being surprisingly complicated if you want do do a good job :)