Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » B3 » b3 status update
b3 status update [message #608563] 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:b3aggr model and relative locations
Next Topic:b3 status update
Goto Forum:

Current Time: Mon Jun 05 18:06:21 GMT 2023

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

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

Back to the top