Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » B3 » b3 status update
b3 status update [message #541776] Tue, 22 June 2010 13:52
Henrik Lindberg is currently offline Henrik LindbergFriend
Messages: 2509
Registered: July 2009
Senior Member
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

- henrik
Previous Topic:b3 status update
Next Topic:B3 Aggregator + Helios Site
Goto Forum:

Current Time: Sat May 18 00:25:32 GMT 2024

Powered by FUDForum. Page generated in 0.03360 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top