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

Re: function signature type checking

In article <uy9kto2dr.fsf@telus.net>, Ray Blaak <blaak@telus.net> 
wrote:

> I am just learning Dylan, and have a question about the type checking of
> functional parameters and results.

Can't be done at the moment, unfortunately.  I consider this a hole in 
Dylan.

The compiler obviously deals with function signature information, and 
uses it to optimize calls, but it only works if the compiler can see 
both the function definition and the use of it.  There is curently no 
way for the user to give the compiler that information.

This has long seemed to me to be one of the more important language 
extensions needed.

-- Bruce
Follow-Ups: References: