Thanks, Mark! I took a quick read.
Your description of various ATS2 features is accurate. To be honest, I myself often forget how certain things are done in ATS2 and have to use 'grep' to find code examples helping me figure out. For example, I find the information in Part 5 particularly helpful! Given the scarcity of ATS2 documentation, I am also quite amazed by your being able to figure out some very intricate features of ATS2 on your own. Cheers! --Hongwei On Sun, Jan 17, 2021 at 1:30 AM mark.l....@gmail.com < mark.l.barb...@gmail.com> wrote: > Hi all, > > Learn X in Y Minutes <https://learnxinyminutes.com/> has community-made > documentation for programming languages and tools, as example-driven > "whirlwind tours" of each languages' features. I made one for ATS, since > none existed and I think it's a great documentation format to have. Here's > the > rendered markdown > <https://github.com/mb64/learnxinyminutes-docs/blob/ats/ATS.html.markdown>, > and the associated PR > <https://github.com/adambard/learnxinyminutes-docs/pull/4089>. It's > about 500 lines of well-commented ATS, and introduces language features as > you read it. > > I'm still relatively inexperienced in ATS, so I'd appreciate reviews to > make sure all the explanations are sound and to make the code more > idiomatic. Reviews from less experienced ATS users would also be > particularly welcome, to make sure it addresses the confusions you had when > first using ATS. > > Learn X in Y Minutes has been really helpful to me in the past learning > other languages, since reading good code can be a great way to learn. I > hope we can make this equally helpful to new ATS programmers. > > Thanks, > > -Mark Barbone > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/2f2cad00-f229-491a-bf7d-a064d5ec452en%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/2f2cad00-f229-491a-bf7d-a064d5ec452en%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpWWB0qZ2o6-Tf44-i%2BNkOTO6vwF8PJV%3DPPr%3DOqVEdhXw%40mail.gmail.com.