case-lambda integration

[Andy Wingo]

Hello,

I am climbing out of a case-lambda hole, and am wondering about
integration. If you missed the first part of this, check:

  http://article.gmane.org/gmane.lisp.guile.devel/9436

The deal is that we need case-lambda, and then some kind of
typecase-lambda to get efficient dispatch of the default generic
function protocol into the VM.

OK then, my wip-case-lambda branch is shaping up, with support for
case-lambda at the VM, debugging, assembly, GLIL, and tree-il levels. I
had to adapt psyntax too to make the new tree-il structures.

In order to expose the case-lambda functionality to Scheme though, we
need a way to make lambdas with more than one case; so I think I will
export case-lambda as an identifier by default.

That is probably uncontroversial.

But what might be is that while I was at it, I made allowances for
efficient optional and keyword argument dispatch -- so we can have
keyword arguments without consing, and arguments which are positionally
optional yet can have keywords. This is so lambda* and define* can be
implemented nicely.

There are hooks in <lambda-case> for these, but again the question is
how to expose to Scheme. As I see it there are two options:

   1. Implement lambda* (and define*) in psyntax

   -or-

   2. Make the stock lambda accept #:optional, #:keyword, et al
      arguments (also a hack to psyntax)

I'm kindof leaning towards (2) actually. But I could go either way. Both
ways expose lambda* capability in the default environment -- because
psyntax boots before modules have booted, and these things need access
to psyntax internals.

Perhaps we should do (1) in the interest of interoperability; but you
still have to know you want to code portable Scheme in order to code
portable Scheme. Dunno.

Anyways, input appreciated.

Ciao,

Andy
-- 
http://wingolog.org/