Offtopic : Aha! moments

Google Group
1

It feel so good when your code type checks after hours of struggle :smiley: :smiley:

I use emacs to compile ATS code , when I see green "exit [0] " , I canā€™t
even describe my feeling :slight_smile:

2

yeah, thatā€™s why i liked SML so much back in school :slight_smile: weird,
masochistic?? :slight_smile:

3

Also getting a little more used to error messages and their implications
has been a big help.

Brandon Barker
brandonā€¦@gmail.comOn Fri, Feb 21, 2014 at 8:46 AM, Brandon Barker brandon...@gmail.comwrote:

I know what you mean, I would feel the same way. Luckily that feeling is
somewhat dulled now since it is much more frequent, but that could be due
to the type of programming Iā€™ve been doing lately, which largely avoids
dependent types.
On Feb 21, 2014 7:06 AM, ā€œchotu sā€ chot...@gmail.com wrote:

It feel so good when your code type checks after hours of struggle :smiley: :smiley:

I use emacs to compile ATS code , when I see green "exit [0] " , I canā€™t
even describe my feeling :slight_smile:

ā€“
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/CAAZxu4ynpedv_U3BOth-d6t0bSwCcGMuXe_zvK%3Djc-4AupzP2A%40mail.gmail.com
.

4

These days I feel privileged to have had C++ as my standard university
course language, much less SML.

Yes, I do feel a bit masochistic at timesā€¦ I think it is mainly due to

  1. it is a very complex language
  2. relatedly, there are many ways to implement something (non-linear,
    linear, and unsafe (pseudo-c-style)
  3. lack of documentation. Though this is improving. The language is very
    new and how to use it best seems to be an open question until recently, and
    is still partly the case, so it will be a while before documentation (and
    tutorials) is rather complete I think. But the good news is, through this
    forum, I think this question is being explored quite actively (probably not
    just through this forum - there seems to be a lot of activity at BU).On Thursday, March 13, 2014 7:29:17 PM UTC-4, Raoul Duke wrote:

yeah, thatā€™s why i liked SML so much back in school :slight_smile: weird,
masochistic?? :slight_smile:

5

I know what you mean, I would feel the same way. Luckily that feeling is
somewhat dulled now since it is much more frequent, but that could be due
to the type of programming Iā€™ve been doing lately, which largely avoids
dependent types.On Feb 21, 2014 7:06 AM, ā€œchotu sā€ chot...@gmail.com wrote:

It feel so good when your code type checks after hours of struggle :smiley: :smiley:

I use emacs to compile ATS code , when I see green "exit [0] " , I canā€™t
even describe my feeling :slight_smile:

ā€“
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/CAAZxu4ynpedv_U3BOth-d6t0bSwCcGMuXe_zvK%3Djc-4AupzP2A%40mail.gmail.com
.