🚀 go-pugleaf

(before you ask, the answer is no: I am NOT Bjarn Stroustroup; I just 
happen to have the same alias)

In article <1991Apr12.081539.22690@kestrel.edu> Gyro@Reasoning.COM writes:
> 2) Proposal 2 unifies the domain `closure of T' with that of `pointer
>    to function of signature T'.  That is, under proposal 2, the same
>    syntax that has been interpreted as declaring a pointer to
>    function of signature T will now be interpreted as declaring a
>    closure of T.
>
>If proposal 1 is adopted but not proposal 2, it will be necessary to
>invent a declaration syntax for closures.  I prefer to avoid doing so
>unless and until it may be seen to be the sense of the committee that
>this is a likely outcome.

Closures are an excelant idea.  However, I think that they should be
kept distinct from pointers to functions and pointers to member functions.
My primary argument for keeping them distinct from normal pointers to
functions has to do with functions of "C" linkage: if yoou attempt to
give it a closure, it will choke.

If the  concepts are indeed kept distinct, a clearly distint syntax is
necessary.  My suggestion would be to use a unary && (an extention of
taking the address of a function).  This operator would also be used
in the declaration.  Example:

class to_be_closed {
private:
	int data;
public:
	int method(int);
	to_be_closed(int d) {data = d;};
};

int f(int c)		// A function to be close over
{
  return c;
}

extern "C" {
int g(int);
int use(int (*)());
}

void do_stuff(void)
{
  int &&closure(int);	// Declaration of a closure
  to_be_closed  obj(5);

  closure = &&obj.method;	// take closure of method over obj
  closure = obj.method;		// same, since there is no other meaning

  closure(5);			// Invoke the closure
  
  closure = &&f;		// Take closure of global method
  closure = f;			// Error: f alone equivelant to &f

  use(closure);			// Error: can't pass closure in place of fptr
  use(f);			// OK: pointer to function expected
}

I hope this example is clear (and not error riddled; my editor is having
problems...)

If you don't want to take me seriously, you don't have to; I'm only an
undergraduate with an enthusiasm for C++.

	-- Benjamin Schreiber
	   bs@cs.brandeis.edu