Re: Optional arguments, assertions, type annotations

[Robert Bruce Findler <robby@cs.rice.edu>]

As part of my dissertation, I am implementing a pre- and post-condition
assertion mechanism for DrScheme. I plan to make it available for
verison 200.

The idea behind it is described in two papers on the PLT Publications
page:

  http://www.cs.rice.edu/CS/PLT/Publications/

FSE 2001 and my OOPSLA 2001 paper. Stay tuned for more!

Robby

Quoting "Thomas Link":
> 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.