[sorry about the late join here; email troubles sent my earlier replies into the ether] On Sun, Jul 14, 2013 at 2:59 AM, Bennie Kloosteman <[email protected]>wrote:
> Yes rust and bitc are the only real modern C type systems there are and > rust have the advantage of linking to c trivilia. > Are you familiar with ATS? http://www.ats-lang.org/ The type system is fairly advanced (dependent types<http://www.ats-lang.org/DOCUMENT/INTPROGINATS/HTML/p2098.html> , linear types<http://www.ats-lang.org/DOCUMENT/INTPROGINATS/HTML/p3215.html>) and it compiles to C99. It also has trivial linking to C (even inline with the ATS code). It may be a source of some ideas you could use. -ipc
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
