Re: some resources recommendations for dependent types and possibly linear types?

[Timmy Jose]

Hello,

I've been working through the first ATS tutorial (An introduction to programming in ATS), and have finished books 1 & 2. I just started book 3 (dependent types), and the going has become a bit slow (not too much, but sufficiently slow).

I realise that I lack the theoretical background needed for quite a few topics that follow. I was just wondering if someone could recommend approachable resources to supplement my learning for this part?

Thanks!

Timmy

[Timmy Jose]

Also, another related question . I deduce that `g0int2uint_int_size` is the non-dependently-typed version whereas `g1int2uint_int_size1 is the dependently-typed version. Is this assumption correct?

Thanks!

Timmy

[gmhwxi]

Yes. There are quite a number of such functions in ATS2, which are no longer needed in ATS3.

[gmhwxi]

I don't feel that you need much of a theoretical background.

If you do want to dive into the theory behind ATS, here are a list of relevant papers:

http://www.ats-lang.org/Papers.html

[Timmy Jose]

Thank you! I'll try and grok the papers - they should be useful all the same!

Cheers,

Timmy

--
You received this message because you are subscribed to a topic in the Google Groups "ats-lang-users" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/ats-lang-users/Vgo-ysEayyo/unsubscribe.
To unsubscribe from this group and all its topics, send an email to ats-lang-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d7abc806-689c-490c-b3c6-f52d9ac480e1o%40googlegroups.com.