| b3 status update [message #608563] |
Tue, 22 June 2010 13:52 |
 Henrik Lindberg
Messages: 2509
Registered: July 2009 |
Senior Member |
|
|
Hi,
I am steadily moving towards having type inference implemented and used
when editing (as opposed to just being available in runtime).
I am about half way through this - variables and features are already
done, and I am now working on calls (I am halfway through).
As a consequence, some early design decisions to allow guards to be
expressed as general b3 expressions have been removed as they require
full evaluation and can thus only be done in runtime (or with
precompiled functions). The only place these are used are in the system
functions to handle number genericity and guarding number functions with
Integral value guards. I seriously doubt anyone will ever need to guard
functions elsewhere. (It is possible to allow something like a type
filter similar to the type predicate used in concerns for functions and
builders - but for now I am going to leave that as a possible future
enhancement.
Regards
- henrik
|
|
|
Powered by
FUDForum. Page generated in 0.02748 seconds
] 
Search
Help
Register
Login
Home
