Very interesting. Removing human error is maybe overstating the benefit, since you can still introduce bugs in your use of the DSL, but it's very interesting.

Very interesting. Removing human error is maybe overstating the benefit, since you can still introduce bugs in your use of the DSL, but it's very interesting. The writeup is pretty opaque to me, but I'd love to see some libraries build on this.