This one is already on my mind. Learned my lessons :)

The plan is to use 'abstype' in place of abst@ype.

On Fri, Feb 9, 2018 at 4:57 PM, Martin DeMello <martindeme...@gmail.com>
wrote:

> I would love to see t@ype and similar keywords with symbols in the middle
> replaced by something more pronounceable - the lack of quick mental
> pronunciation is a surprisingly large annoyance when reading and wirting
> code.
>
> martin
>
> On Fri, Feb 9, 2018 at 10:15 AM, gmhwxi <gmh...@gmail.com> wrote:
>
>> For the moment, I just want to open a thread for ATS3.
>>
>> I decided to pick ATS/Xanadu for the full project name. I like the name
>> Xanadu
>> because it is poetic and brings a feel of exoticness.
>>
>> ATS3 is supposed to be compiled to ATS2. At least at the beginning. I
>> will try to
>> write more about what I have in mind regarding ATS3.
>>
>> I know that a lot of people have been complaining about the syntax of
>> ATS2. So
>> we can start the effort of designing some "nice" syntax for ATS3. Please
>> feel free
>> to post here if you would like share your opinions and ideas.
>>
>> I will be happy to take the lead but we definitely need to have some form
>> of community
>> effort on this project given its size and scope.
>>
>> Cheers!
>>
>> --Hongwei
>>
>> PS: I felt rushed every time up to now when implementing ATS. This time I
>> am hoping
>> to have the luxury of thinking about implementation a bit before actually
>> doing it :)
>>
>> --
>> 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/ms
>> gid/ats-lang-users/8d547585-a0ce-494e-8568-a0657274deb0%40go
>> oglegroups.com
>> <https://groups.google.com/d/msgid/ats-lang-users/8d547585-a0ce-494e-8568-a0657274deb0%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>
> --
> 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/CAFrFfuEzh8TOrZjeytTasi9zq2EAp
> aQMr5NPm8u76fRbgZOCpA%40mail.gmail.com
> <https://groups.google.com/d/msgid/ats-lang-users/CAFrFfuEzh8TOrZjeytTasi9zq2EApaQMr5NPm8u76fRbgZOCpA%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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/CAPPSPLpD9C8%2BbnS9a1TkDU0hjmeYuCEZ-B0fGdYjp%2B6g3N-S%2BA%40mail.gmail.com.

Reply via email to