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 >>> gall...@bu.edu >>> >>> >>> -- 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 post to this group, send email to ats-lang-users@googlegroups.com. 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/cb56f1f9-09a9-41eb-ab87-5b9bf1eb6bea%40googlegroups.com.