I consider ATS [1] a systems language and it can be used at the write-a-kernel level. It can be used without a garbage collector using linear types to ensure me

I consider ATS [1] a systems language and it can be used at the write-a-kernel level. It can be used without a garbage collector using linear types to ensure memory is deallocated. One of the contributed examples is some kernel development [2]. [1] http://www.ats-lang.org/ http://www.ats-lang.org/ [2] http://ats-lang.svn.sourceforge.net/viewvc/ats-lang/trunk/contrib/linux/ http://ats-lang.svn.sourceforge.net/viewvc/ats-lang/trunk/co...