Re: Intro to ATS - How to code productively

Hi Artyom, Yes, I think it's good :) (Sorry for the delay. I was offline for the past week. ) On Monday, April 2, 2018 at 1:48:19 AM UTC-4, Artyom Shalkhakov wrote: > > > Hi Steinway, > > On Sunday, April 1, 2018 at 11:39:34 PM UTC+6, Steinway Wu wrote: >> >> Hi Artyom, >> >> This is awesome :

Re: Intro to ATS - How to code productively

Hi Steinway, On Sunday, April 1, 2018 at 11:39:34 PM UTC+6, Steinway Wu wrote: > > Hi Artyom, > > This is awesome :) > > Thanks! > I have a question about "gradual improvement" of performance. I personally > feels it is more about gradual improvement of specification, e.g. change a > simple

Re: Intro to ATS - How to code productively

Hi Artyom, This is awesome :) I have a question about "gradual improvement" of performance. I personally feels it is more about gradual improvement of specification, e.g. change a simple data type into a more refined type, to catch more bugs. So the sales pitch is more like "write dirty code

Re: Intro to ATS - How to code productively

This is so amazing! Thank you for taking the time! On Saturday, March 31, 2018 at 7:49:39 AM UTC-4, Artyom Shalkhakov wrote: > > Hi Lance, > > I've put this > > together. > > What do you think? And the rest of the group? This

Re: Intro to ATS - How to code productively

Hi Lance, I've put this together. What do you think? And the rest of the group? This is mostly aimed at C programmers. On Thursday, March 29, 2018 at 1:48:45 AM UTC+6, Lance Galletti wrote: > > Awesome thank you! Looking f

Re: Intro to ATS - How to code productively

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 >>

Re: Intro to ATS - How to code productively

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!

Re: Intro to ATS - How to code productively

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! :) So far I have been just putting together what I have learned from Hongwei's cl

Re: Intro to ATS - How to code productively

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/15

Re: Intro to ATS - How to code productively

Thanks for sharing! On Tuesday, March 27, 2018 at 11:40:55 AM UTC-4, 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/presen

Intro to ATS - How to code productively

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 cur