Re: current status of libxatsopt

[Artyom Shalkhakov]

сб, 23 янв. 2021 г. в 13:45, Dambaev Alexander :

> Hi,
>
> I saw that repo and was wondering why is it using C instead of ATS2 :)
>

Well the primary reason is that C is more widely known than ATS2, which
means more people can work on it.

My optimistic plan is to provide ATS bindings to some C libraries to be
> able to implement LSP in ATS2 :) such that, some more tooling will be
> available for ATS2 as a result.
>

It can be done, BTW I worked on C very much in the style of ATS2.

As far as I understand, ideally, libxatsopt should be used to do lexical
> analyze, parser and to infer types of text buffers
>

Yes, that's a good starting point. Having that, it shouldn't be much of a
problem to implement more queries (e.g. find all references to a symbol).


> --
> 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kz59RQCX4FKDDy%2Bo6Ue7kB%2BWgV2VV-1ivGiwSsHEmN7pQ%40mail.gmail.com
> 
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqhrR%3DSOokxJBk%2BOAfFwfYSYCA5yn0NQXRVydCykZOKF9w%40mail.gmail.com.

Re: current status of libxatsopt

[Dambaev Alexander]

Hi,

I saw that repo and was wondering why is it using C instead of ATS2 :)

My optimistic plan is to provide ATS bindings to some C libraries to be
able to implement LSP in ATS2 :) such that, some more tooling will be
available for ATS2 as a result.

As far as I understand, ideally, libxatsopt should be used to do lexical
analyze, parser and to infer types of text buffers

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAHjn2Kz59RQCX4FKDDy%2Bo6Ue7kB%2BWgV2VV-1ivGiwSsHEmN7pQ%40mail.gmail.com.

Re: current status of libxatsopt

[Artyom Shalkhakov]

Hi Alexander,

I started implementing LSP in xatslsp on GitHub but ran out of time.

You could take a look at that and I'll be glad to help you.

The initial plan was to implement some very simple things (in C) and they
work. The missing stuff is actually running ATS compiler against the text
buffers and then getting out errors. If we get errors then we can send them
as notifications to the user, that would be a great start (and this part is
mostly ATS, too). And after that we can start adding more code (in ATS) to
traverse the level-1 syntax trees for more reporting (e.g. use-def).

сб, 23 янв. 2021 г. в 05:41, Dambaev Alexander :

> Hi,
> I would like to know what is the current status of the libxatsopt.
> In particular: is it ready to be used to implement the  language server
> protocol support for ATS3?
>
> --
> 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KyvpYfvLV0NfJSVt%2BbZEBcj8wtrK73Trb9ukdWRMwrmfw%40mail.gmail.com
> 
> .
>


-- 
Cheers,
Artyom Shalkhakov

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3DqijVBv8BM7KAFK1nn2ZgRNLs1jKZF1%3DA8PKD835820rwA%40mail.gmail.com.