Hrm, what do you think about rust vs Felix? They seem to be targeting the same problem.
> Felix has a better type system
What do you mean by this? From what I can see, the only way Felix encodes any form of memory safety (e.g. dangling pointers) in the type system is by garbage collection.
[1]: http://static.rust-lang.org/doc/master/extra/arc/struct.Arc....
[2]: http://static.rust-lang.org/doc/master/extra/arc/struct.RWAr...
[3]: http://static.rust-lang.org/doc/master/extra/arc/struct.Mute...