wilbowma
define-implicit defines syntax and not procedures
Constructors with implicit arguments are syntax and cannot be passed as values. This is a bit of a problem, as all constructors should be procedures.
The function with implicit args would have to cooperate with #%app somehow.
It's doable, but then I think define-implicit would have to be part of the core and not a library?
Yes, that might be ok but we could run into the diamond problem if a program uses this and another library that overloads #%app.
Yeah, but then we could make a choice about whether to include it in the "core" to avoid diamond problems or not. In general, I want the code to enable as much independence as possible, but in the end I imagine we'll have a set of features that are included in #lang cur, and only people doing weird things or experiments would have reason to reach under #lang cur and avoid implicits, e.g.