Beginner question

Google Group
1

Hello!

I am a CS student with C, C++ and Haskell experience. From the beginning I
have been interested in programming languages and type theory. Recently, I
discovered dependent types and I would like to learn ATS in order to see
them in action (btw I am also learning Idris to see them in action in a
functional language). My question is: what are good ATS learning resources
for an absolute beginner with a solid programming background?

Thanks for your time,
Adolfo.

2

First, thanks for your interest in ATS.

ATS is a very rich language. How to learn ATS largely depends on what
you want to do with ATS.

In any case, the following book should be pretty useful:

http://www.ats-lang.org/Documents.html#INT2PROGINATS

If you want to see dependent types in action, I suggest that you
take a project you did in C and then try to rewrite a portion of it in
ATS.

As always, questions on and related to ATS are welcome here.

Cheers!

–HongweiOn Saturday, May 2, 2015 at 3:48:05 PM UTC-4, Adolfo Ochagavía wrote:

Hello!

I am a CS student with C, C++ and Haskell experience. From the beginning I
have been interested in programming languages and type theory. Recently, I
discovered dependent types and I would like to learn ATS in order to see
them in action (btw I am also learning Idris to see them in action in a
functional language). My question is: what are good ATS learning resources
for an absolute beginner with a solid programming background?

Thanks for your time,
Adolfo.