Browse thread
AST versus Ocaml
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2009-11-04 (14:02) |
From: | Jan Kybic <kybic@f...> |
Subject: | AST versus Ocaml |
Dear all, I am an Ocaml user but execution speed is very important for me, so I am constantly looking for ways to make my programs faster, if possible without sacrificing the high-level language benefits (genericity, garbage collection, safety). I have just come across a language called AST (http://www.ats-lang.org/) which claims to be functional, based on ML (or Ocaml), and at the same time very efficient, perhaps as efficient as C. (AST has some other features (theorem proving) which I cannot fully appreciate at the moment.) Some of the benchmarks definitely seem to support the speed claim, others are more suspicious as they are actually partly coded in C. Before devoting more time to investigating AST, I wanted to ask if you perhaps already have some experience with this language and can make a comparison to Ocaml. I have already observed that the type inference seems to be weaker in AST so the function types have to be explicitely given. Thank you for your comments. Jan -- ------------------------------------------------------------------------- Jan Kybic <kybic@fel.cvut.cz> tel. +420 2 2435 5721 http://cmp.felk.cvut.cz/~kybic ICQ 200569450