Thanks for all of your input and effort!
In ATS3, syntax errors of a program are internalized in its abstract
syntax tree. I expect that various syntax-checkers can be written to
explain the cause of syntax errors.
With good support from the community, the learning curve for ATS3
should be a lot
Thanks for all the input!
Still working on the parser. Will post a message on its progress shortly.
I personally like SML-like syntax, which is quite different from OCaml's.
After I publish the syntax for ATS3, I hope that someone could design a
version
for it based on Lisp's syntax.
Cheers!