ATS is cool

Google Group
1

I like it. While writing code(memory/pointer related) I have seen how many
places I could have got screwed and ATS did not allow it to happen. Amount
of work to write these types of code is reasonable. I am not C guy though.

I am a just a avg programmer , but I hope some more talented programmer
start using ATS2 to write “reasonably” safe code and I am not saying
extremely safe code.

Thanks

2

Haha, thus euphemism is more apt than I initially appreciated.

hey baby, is that a linear type in your pocket, or are you just glad to
see me?

–
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-user...@googlegroups.com.

3

Where is the “like” button?On Tuesday, March 18, 2014 2:50:40 AM UTC-4, chotu s wrote:

I like it. While writing code(memory/pointer related) I have seen how
many places I could have got screwed and ATS did not allow it to happen.
Amount of work to write these types of code is reasonable. I am not C guy
though.

I am a just a avg programmer , but I hope some more talented programmer
start using ATS2 to write “reasonably” safe code and I am not saying
extremely safe code.

Thanks

4

hey baby, is that a linear type in your pocket, or are you just glad to see me?

5

Almost every time I meet someone new, I tell them about ATS.On Mar 18, 2014 7:11 PM, “Zhiqiang Ren” alex.r...@gmail.com wrote:

Where is the “like” button?

On Tuesday, March 18, 2014 2:50:40 AM UTC-4, chotu s wrote:

I like it. While writing code(memory/pointer related) I have seen how
many places I could have got screwed and ATS did not allow it to happen.
Amount of work to write these types of code is reasonable. I am not C guy
though.

I am a just a avg programmer , but I hope some more talented programmer
start using ATS2 to write “reasonably” safe code and I am not saying
extremely safe code.

Thanks

–
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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/cb46b2ea-b77c-455f-9ae9-c234a7d9fbd1%40googlegroups.comhttps://groups.google.com/d/msgid/ats-lang-users/cb46b2ea-b77c-455f-9ae9-c234a7d9fbd1%40googlegroups.com?utm_medium=email&utm_source=footer
.