> From: Dan Andersson <[EMAIL PROTECTED]> > There is however a new kid on the block that is pretty impressive and > manages to beat C/C++. ATS (Applied Type System) also emits C but due to > the structure and type system the code is pretty specialized and > optimized to beat any sane and optimized C program.
I took a quick look at the www site http://www.ats-lang.org/ This is a very interesting idea: "imperative programming in ATS is firmly rooted in the paradigm of programming with theorem proving." Good optimization, in my opinion, would depend on provably-correct theorems specifically adapted to the code. _______________________________________________ computer-go mailing list computer-go@computer-go.org http://www.computer-go.org/mailman/listinfo/computer-go/
