The implicit Q is really nice, but I feel that inside lambdas like m it really isn't appropriate. For example, mhs{*MyP. This will take implicit input from Q, but it is very rare that I would want the P to also take from Q.
So I propose that inside lambdas, when closed with ; or EOF, that the implicit input should not be Q but instead the innermost lambda var. For instance, the above example would expand to mhs{*MyPdQ
The implicit
Q
is really nice, but I feel that inside lambdas likem
it really isn't appropriate. For example,mhs{*MyP
. This will take implicit input fromQ
, but it is very rare that I would want theP
to also take fromQ
.So I propose that inside lambdas, when closed with
;
orEOF
, that the implicit input should not beQ
but instead the innermost lambda var. For instance, the above example would expand tomhs{*MyPdQ