Awesome thank you! Looking forward to it! :) On Wednesday, March 28, 2018 at 12:00:14 PM UTC-4, Artyom Shalkhakov wrote: > > On Wednesday, March 28, 2018 at 9:34:37 PM UTC+6, Lance Galletti wrote: >> >> Hi Artyom! >> >> Thank you for your feedback! It is great to hear an advanced programmer's >> perspective on the appeal of ATS. If you have the time it would be great to >> incorporate into the write-up a section about this! :) >> >> > I wouldn't call myself an advanced programmer, but I've been interested in > ATS programming for a lot of time, that's true. > > I'll write a sales-pitch. It's really exciting stuff (to me, at least!). > > >> So far I have been just putting together what I have learned from >> Hongwei's classes and books but I will definitely be checking out HtDP - >> thank you for the suggestion! >> >> > >> On Wednesday, March 28, 2018 at 3:13:37 AM UTC-4, Artyom Shalkhakov wrote: >>> >>> Hi Lance, >>> >>> On Tuesday, March 27, 2018 at 9:40:55 PM UTC+6, Lance Galletti wrote: >>>> >>>> Hi ats users! >>>> >>>> I recently had the opportunity to give a talk at a hackathon about ATS >>>> and coding productivity / quality. I thought I would share my slides here: >>>> >>>> >>>> https://docs.google.com/presentation/d/157VR0oQNTfUiiChYdbv77PYZkYKo_zkZfwRiqGv6sEY/edit?usp=sharing >>>> >>>> And the informal write up I am currently developing: >>>> >>>> https://github.com/galletti94/magnificATS/tree/master/INTRO >>>> >>>> If, like me, you are passionate about coding quality, methodology, >>>> productivity, or functional programming and, of course ATS, please reach >>>> out! >>>> >>>> >>> First off, I chuckled when I saw the name of the repo. :-) >>> >>> I want to write something about the C-style programming for ATS, but not >>> quite have the time (or the guts or whatever it is I lack). It would be >>> great to help fellow programmers learn more about ATS! >>> >>> >>>> I would be happy to collaborate on the write up and hear your thoughts >>>> about what drew YOU to ATS. >>>> >>> >>> I still view ATS as C-with-proper-type-system. :) This is what drew me >>> to ATS: you can write safe, efficient systems-level programs but this will >>> require some theorem proving, bringing this academic discipline close to >>> actual programming practice (or you can cast your way through the types, >>> but then you're the one to blame if things go wrong). ATS helped me to >>> improve my knowledge of C. >>> >>> Regarding your write-up, have you seen HtDP (How to Design Programs)? >>> Their "design recipes" are somewhat similar IIRC (proceed top-down, refine, >>> state pre- and post-conditions, provide examples of evaluation aka tests). >>> >>> Looking forward to connecting! >>>> >>>> Lance Galletti >>>> [email protected] >>>> >>>> >>>>
-- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/bd3ac62a-07a7-4d22-b581-29a50766b142%40googlegroups.com.
