[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Optional arguments, assertions, type annotations



For optional arguments, look at opt-lambda or case-lambda.
Other PLT members are actively working on assertions (contracts) and
type annotations, so perhaps they will have something to say.

Paul
On Tue, Sep 18, 2001 at 03:12:55PM -0700, Michael Vanier wrote:
> 
> Thomas,
> 
> Could you send us a link to your package?  I'd like to take a look at it.
> 
> Mike
> 
> 
> > From: "Thomas Link" <t.link.tmp200101@gmx.net>
> > Date: Tue, 18 Sep 2001 18:13:56 +0200
> > 
> > Hello,
> > 
> > May I ask which approach you favour with respect to optional arguments, 
> > assertions (pre-conditions, post-conditions), or type annotations (for 
> > security reasons also)? As far as I know there is no standard solution 
> > for these issues, which is why different distributions have chosen 
> > different roads. As I recently implemented my own rather simple 
> > package, which definitly isn't the answer to the ultimate question, I 
> > would be interested which solution you prefer. Or is there some reason 
> > for why this hasn't been standardized yet?
> > 
> > Cheers,
> > Thomas.
> > 
> >