On Andrei's Keynote / checkedint

[qznc via Digitalmars-d]

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