True, an IDE could zoom in on the definition, if it were supported by the
IDE/plugin.

On Tue, Mar 13, 2018 at 4:36 PM, Hongwei Xi <gmh...@gmail.com> wrote:

> This sounds more like an IDE issue to me.
>
> On Tue, Mar 13, 2018 at 3:20 PM, Brandon Barker <brandon.bar...@gmail.com>
> wrote:
>
>> Replying to the concise syntax issue in particular: I like concise syntax
>> up to a point, but when it comes to types, explicit syntax is sometimes
>> nice (though it would be great to allow the user to choose). Both to make
>> compilation proceed quicker (possibly), and to make it more obvious what
>> code is doing when you read it.
>>
>> One area where working in ATS  actually seems to prevent this is when
>> implementing a function specified elsewhere. Maybe this is just a user
>> error from me, but I tried last night to *implement main0(argc, argv):
>> void *after looking up the types in the ATS2 sources after grepping for
>> a bit, and was able to do it up to a point: I could do something like
>> implement *main0(argc: int, argv): void*. But then, I wasn't able to
>> figure out how to get it further refined and add *argc: int n *in the
>> implementation view. I guess this is code duplication to a certain extent,
>> so I don't necessarily think it is a great style. On the other hand, it
>> seems a bit inconvenient to have to go look in a sats file to see the
>> specification for a function.
>>
>> On Monday, February 12, 2018 at 1:59:54 PM UTC-5, gmhwxi wrote:
>>>
>>> Thanks.
>>>
>>> Haskell and Idris are definitely on my radar.
>>>
>>> Type inference in ATS is very week (largely due to the support
>>> for dependent types and linear types). To support concise syntax,
>>> type inference in ATS needs to greatly strengthened.
>>>
>>> On Sunday, February 11, 2018 at 8:34:48 PM UTC-5, vamchale wrote:
>>>>
>>>> I don't have any concrete suggestions, but I would suggest Idris as an
>>>> example to follow. Haskell syntax is relatively popular and concise, and
>>>> Idris' is even more refined.
>>>>
>>>> I will say I'd prefer syntax that eases functional programming, but
>>>> that might just be me. And I think that replacing -<lincloptr1> with
>>>> something more concise like -o would be a good decision either way.
>>>>
>>>> On Friday, February 9, 2018 at 12:15:22 PM UTC-6, gmhwxi 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/10a34ca2-59dd-423a-887a-da6e25c05fcf%40go
>> oglegroups.com
>> <https://groups.google.com/d/msgid/ats-lang-users/10a34ca2-59dd-423a-887a-da6e25c05fcf%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "ats-lang-users" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/
> topic/ats-lang-users/mjS9NtQz6Pg/unsubscribe.
> To unsubscribe from this group and all its topics, 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/CAPPSPLr1p2cbHyZ12-GYrohMjXJaQ8v7H2rrfPjd8SbsmoXg
> 4w%40mail.gmail.com
> <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLr1p2cbHyZ12-GYrohMjXJaQ8v7H2rrfPjd8SbsmoXg4w%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>



-- 
Brandon Barker
brandon.bar...@gmail.com

-- 
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/CAORbNRqWV_CQx5w0u6fd881XeqR6dMK7HxOJx_gAV2thTDxr-A%40mail.gmail.com.

Reply via email to