Yes rust and bitc are the only real modern C type systems there are and rust have the advantage of linking to c trivilia . Though IMHO its too c / hardcore like. I still think static compilation is a nice option if your creating a kernel or runtime , starting the GC in the first place and managing the GCs memory was always difficult . However with a LLVM back end its not hard to change it to create CIL and LLVMs Jit is developing. Unfortunately the performance is not where it should be its at about java level , stdlib , poor gc and segmented stack has been blamed and they are now working on those ( going back to a normal stack with the segmented an option) ) .
re the multi memory option it works a bit like the small service architecture i have mentioned earlier with each service having its own thread , message pump and memory ..local pointers are passed by value . However there is also shared types , though programmers need to explicity say if they are using shared or local pointers . Basically your forcing developers to modularize apps more , which means less global and GC data though you could make the whole app one task with no GC so its like C if you want ... but its harder. Yes i dont think anyone knows the real programing implications... the guys who work on it are mainly hard core C++ guys ( from the Fire fox team and a few more) and it shows lots of 3 -5 char types and there is a debate today on having the str function printf ( " %s/n hfhf"); ... BitC was more an attempt to do it closer to the C#/Java/Haskell level . Ben
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
