Recent changes to tutorials

tutorials modified by Brandon Barker

Brandon Barker — Mon, 29 Apr 2013 04:07:34 -0000

--- v2
+++ v3
@@ -4,6 +4,8 @@

 Chris Double has written [many blogs on ATS](http://www.bluishcoder.co.nz/tags/ats/). There are also [many useful topical tutorials](http://www.ats-lang.org/htdocs-old/TUTORIAL/tutorial.html) on the ATS site. Of course, there may be [resources not mentioned here](https://www.google.com/search?as_q=ATS+language&as_epq=&as_oq=tutorial+blog+programming&as_eq=&as_nlo=&as_nhi=&lr=&cr=&as_qdr=all&as_sitesearch=&as_occt=any&safe=images&tbs=&as_filetype=&as_rights=). 

+An [ATS wiki book](http://en.wikibooks.org/wiki/ATS:_Programming_with_Theorem-Proving) exists, but currently only has a few pages.
+
 **Other random tutorials:** 
 [A debugging tutorial for dependent types](https://groups.google.com/forum/?fromgroups=#!topic/ats-lang-users/3c4Qs6zomfM).

WikiPage tutorials modified by Brandon Barker

Brandon Barker — Sun, 03 Mar 2013 20:58:23 -0000

WikiPage Tutorials modified by Brandon Barker

Brandon Barker — Sun, 03 Mar 2013 20:57:30 -0000

For a beginner, perhaps the most important tool to learn is good functional style and abstraction. This code example for a calculator, while not exactly a tutorial, demonstrates these principles. Discussion on the calculator example is located here.

Currently, the ATS site has language tutorials (one for people familiar with ML, and a longer one for everyone else) and several tutorials on library usage. There is also a more dense tutorial or language overview reference that is highly recommended.

Chris Double has written many blogs on ATS. There are also many useful topical tutorials on the ATS site. Of course, there may be resources not mentioned here.

Other random tutorials:
A debugging tutorial for dependent types.

An example demonstrating [dataviewtype]s.