My question concerns lambdas, implict parameters, and scoping. (I'm not sure what lambdas are called in J. In some languages, like K, they are called subfunctions.)
We are working on issue in Kona, see https://github.com/kevinlawler/kona/issues/220 and I need to check how other languages (like J or Scheme) handle the issue. Suppose lambdas are supported and implicit parameters for functions are supported. An example in K would be {{[a]a,x}}[1][2] Let's call the parent function f, and the child function g. f has 2 parameters: [1] and [2] f has no arguments at the parent level to bind to any parameters. g has 2 arguments: one explicit [a], and one implicit [x], but no parameters at the subfunction level g simply catenates the arguments a and x. K3.2 (and K2.8) yields 2 1 as a result. Kona yields (2;) as a result (a heterogeneous list of 2 elements: 2 and null) There are arguments for both approaches (which are outlined in the issue discussion thread). Question: Can a similar case occur in J, and what does J yield as a result? ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
