[ats-lang-users] New to ATS

[Rouan v. D. <rv...@ya...>]

Hi everyone.


I have stumbled onto ATS because I am interrested in non-main stream programming languages and love to try
out interresting ones.

As I have no experience in ATS and I can't find too many blogs about it, I have a few questions.

1. Would you say that ATS is ready for writing applications outside the academic environment?

2. How expressive is its type-system, compared to say OCaml / Haskell?

ATS seems like a language where I can write in a functional style (which I really like) and it seems
that ATS can be used to write fairly efficient code.

I am looking to invest some substantial time into ATS if I can use it for more practical, real-world
programming.

I am looking for a good, efficient language to write a compiler for my own programming language.
I am hoping that ATS will be this language.  Can anyone advise if ATS is a good language for
this purpose and if there are any specific features of ATS that would come in handy for writing
a compiler in ATS.


Regards

Rouan