I just watched Andrei's Keynote slightly delayed so I could not
ask live via chat. One question and one remark:
1. Is there any reason to restrict this to integrals? Why not use
Checked!(float,H) or Checked!(complex,H) or
Checked!(polynomial,H)? If it is more general, then we should
change the name as long as we still can (it is experimental).
2. With respect to "Where did you steal all this money?": I
recently [0] read about the Metaobject Protocol (MOP) and I
noticed some similarities. MOP comes from the Lisp world, where
things are more dynamic, but also compile-time and run-time are
not that clearly separated. At least the intention of Gregor
Kiczales and Andrei's DbI match. In Kiczales words from 1992 [1]:
"for those cases where the underlying implementation is not
adequate, the client has a more reasonable recourse. The
meta-level interface provides them with the control they need to
step in and customize the implementation to better suit their
needs"
[0] http://beza1e1.tuxen.de/leaky_abstractions.html
[1]
https://pdfs.semanticscholar.org/39ea/ec97dde6db7e2245e9b8dc662652a3cefa64.pdf
