On Wed, Jul 17, 2013 at 3:01 PM, Ian Cooke <[email protected]> wrote:
> 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. > Thanks, Ian. Yes, I've known about ATS for some time. Jonathan
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
