2nd'd (although i'm just a language "groupie", not a 'trusted authority' on such things :-)
note that iirc from the ats list, one wants to be looking at / using ats2, since ats is deprecated pretty much. please also note the part of the ddc dissertation that says the dependent etc. typing notation in ats quickly becomes entirely too unwieldy. :-( (perhaps only vaguely along these lines, if one hasn't seen shen-lisp, please look at that, too. it can support dependent types, but you have to roll it yourself, which is both good and bad. there is not yet a c/++ back-end, but it could target felix some day :-) sincerely. ------------------------------------------------------------------------------ LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial Remotely access PCs and mobile devices and provide instant support Improve your efficiency, and focus on delivering more value-add services Discover what IT Professionals Know. Rescue delivers http://p.sf.net/sfu/logmein_12329d2d _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
