An idea: How about make ATS language IDE based on drracket?

Brandon_Barker · January 7, 2015, 1:14am

Thanks, forgot to grep contrib.

What is the ‘T_REC’ token used for? IOn Tue, Jan 6, 2015 at 1:44 PM, gmhwxi gmh...@gmail.com wrote:

It is used. For instance, it used in ATS2-contrib/GTK.

On Tuesday, January 6, 2015 1:39:14 PM UTC-5, Brandon Barker wrote:

Is classdec also currently unused?

On Tue, Jan 6, 2015 at 1:06 AM, Hongwei Xi gmh...@gmail.com wrote:

I think it is not used at the moment.
It was meant for some kind of binary data (possibly containing null
chars).

On Tue, Jan 6, 2015 at 12:51 AM, Brandon Barker brand...@gmail.com wrote:

| {n:int}
T_CDATA of (array (char, n), size_t (n))
| T_STRING of (string)

What is CDATA used for in lexing? It looks as though it could also be
used for strings.

On Mon, Dec 22, 2014 at 9:09 PM, gmhwxi gmh...@gmail.com wrote:

(*
i0de
: IDENTIFIER_alp
| IDENTIFIER_sym
| EQ
| GT
| LT
| AMPERSAND
| BACKSLASH
| BANG
| TILDE
| MINUSGT
| MINUSLTGT
| GTLT
; /* i0de */
*)

Please see pats_parsing_base.dats.
On Monday, December 22, 2014 9:05:00 PM UTC-5, Brandon Barker wrote:

Which token is for identifiers?

On Sat, Dec 20, 2014 at 1:31 PM, Brandon Barker <brand...@gmail.com wrote:

OK, thanks, I seem to recall that there were differences in writing
down some of the literals in ATS versus C, but probably I am mistaken. Also
I can’t easily check much as I only have internet on my phone for a few
hours. Good time to translate the lexer though.
On Dec 20, 2014 1:25 PM, “gmhwxi” gmh...@gmail.com wrote:

The literals (chars, integers, floats, strings) are taken from C.

On Saturday, December 20, 2014 1:15:13 PM UTC-5, Brandon Barker wrote:

I found this one, but in case my ATS is rusty/incomplete, I was
hoping to find a definitive reference for the form of all literals. Not the
names of the tokens.
On Dec 20, 2014 1:06 PM, “Hongwei Xi” gmh...@gmail.com wrote:

The names of the tokens can be found at the end of the following
file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing_token.dats

On Sat, Dec 20, 2014 at 12:45 PM, Brandon Barker < brand...@gmail.com> wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker < brand...@gmail.com> wrote:

Thanks, I think this helped, but I am still not sure on some
points (this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains
the most straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are
combined to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of
complexity. At least, not at this stage.
You can always write “viewt0ype” instead, which is a normal
identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brand...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me
realize that ATS is even more rich (potentially) than I know, since I saw a
number of reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe
I am interpreting incorrectly, but in any case, this group seems to consist
of proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class
(e.g. T_VIEWAT). What distinguishes the words that make up the
T_IDENT_alp token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on
JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of
tokens in JSON format.
There could be many ways to use such a file. For instance,
use it for doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take
such a file as another form of input.
For such uses, it is important to attach location
information to tokens.

The datatype for tokens in ATS2 is declared in the
following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/
pats_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know
enough about the ATS grammar even if I wasn’t. Is it worth trying to lex
ATS using such a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only
free, but open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke < rao...@gmail.com> wrote:

intellij has a ‘free’ version, too.

–
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-l...@googlegroups.com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%
40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to
ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-56
74-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2
nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3Jq
U2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du
1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com
.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2
i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQd
D7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-b9
dc-427a-96d3-53400c24df8b%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%
3D7cOp%3DvutqxOj7A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%3D7cOp%3DvutqxOj7A%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/CAPPSPLpoZb43%2B802y0RYaRC7C8g2z1GWWZMXbT17e
9Y3WPOauQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpoZb43%2B802y0RYaRC7C8g2z1GWWZMXbT17e9Y3WPOauQ%40mail.gmail.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/9c6fc31e-0223-4c8c-b950-cc6da2bfccf0%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/9c6fc31e-0223-4c8c-b950-cc6da2bfccf0%40googlegroups.com?utm_medium=email&utm_source=footer
.

Brandon Barker
brandon...@gmail.com

Brandon_Barker · December 20, 2014, 5:47pm

E.g. T_FLOAT, T_CHAROn Dec 20, 2014 12:45 PM, “Brandon Barker” brandon...@gmail.com wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker < brandon...@gmail.com> wrote:

Thanks, I think this helped, but I am still not sure on some points
(this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains the most
straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are combined
to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of complexity. At
least, not at this stage.
You can always write “viewt0ype” instead, which is a normal identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brandon...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me realize that
ATS is even more rich (potentially) than I know, since I saw a number of
reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I am
interpreting incorrectly, but in any case, this group seems to consist of
proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class (e.g. T_VIEWAT). What
distinguishes the words that make up the T_IDENT_alp token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of tokens in
JSON format.
There could be many ways to use such a file. For instance, use it for
doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such a file
as another form of input.
For such uses, it is important to attach location information to
tokens.

The datatype for tokens in ATS2 is declared in the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/
pats_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough about
the ATS grammar even if I wasn’t. Is it worth trying to lex ATS using such
a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only free, but
open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke rao...@gmail.com wrote:

intellij has a ‘free’ version, too.

–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%
40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com?utm_medium=email&utm_source=footer
.

Brandon_Barker · October 12, 2014, 5:41pm

I’m curious where the eclipse-related plugins (if any) are now located,
since I’ll be using eclipse for some unrelated java work soon.On Sun, Oct 12, 2014 at 3:10 AM, gmhwxi gmh...@gmail.com wrote:

Or using the Eclipse framework? Alex Ren tried it a few years ago
and it was a very positive experience.

Using racket means that we ourselves have to do so many things
from scratch. Eclipse can provide a much needed ecosystem for us.

I assume that using MonoDevelop will give us a big ecosystem as well.

On Saturday, October 11, 2014 11:50:39 PM UTC-4, Kiwamu Okabe wrote:

Hi all,

I’m learning Racket language with following slide:

2014-10-11: Introduction to Functional Programming « Articles «
Extellisys
http://www.extellisys.com/articles/20141011-tlug-intro-
to-functional-programming

How wonderful the racket IDE named drracket!!!
How about make ATS language IDE based on drracket?

DrRacket: The Racket Programming Environment

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

–
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.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/377ae5f4-a31c-4c6c-b4d6-de2a6384eb24%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/377ae5f4-a31c-4c6c-b4d6-de2a6384eb24%40googlegroups.com?utm_medium=email&utm_source=footer
.

Brandon Barker
brandon...@gmail.com

Brandon_Barker · November 26, 2014, 6:28pm

Very nice!

In addition to your list, I would really like to see a list of
in-scope values/vars of the correct type for a particular function
argument (if the list of them is reasonably small).
This is sort of the inverse of the method-completion feature in OO
languages, but it seems that it would be something of a time-saver.

I can think of other cool features for later, but kind of pointless to
discuss for now.On Wed, Nov 26, 2014 at 1:19 PM, Zhiqiang Ren alex.r...@gmail.com wrote:

devise an approach to converting JSONized level-2 ATS parse trees
into a format that is useable within the plugin

I have built a parser in Java to convert the “JSONized level-2 ATS parse
trees” into Java. It doesn’t support all of ATS’ syntax yet. The support it
lacks goes as follows: datatype, case expression, template, call by
reference. (I will add datatype and case expression soon.) Simply put, it
accepts ML-like ATS program.

On Tuesday, October 21, 2014 1:09:45 AM UTC-4, Artyom Shalkhakov wrote:

On Sunday, October 12, 2014 9:50:39 AM UTC+6, Kiwamu Okabe wrote:

Hi all,

I’m learning Racket language with following slide:

2014-10-11: Introduction to Functional Programming « Articles «
Extellisys
http://www.extellisys.com/articles/20141011-tlug-intro-
to-functional-programming

How wonderful the racket IDE named drracket!!!
How about make ATS language IDE based on drracket?

DrRacket: The Racket Programming Environment

I’ve actually created a simple plugin for MonoDevelop 4 that provides
highlighting support for D4 programming language:

GitHub - ashalkhakov/d4-mode: D4 editing mode for MonoDevelop

I will update it to work with the current version of MonoDevelop. Also,
it’s now very easy to obtain a Mono environment for a Linux distro of your
choice (Mono Project folks provide the builds):

Redirecting…

I also created a similar plugin for ATS, but it isn’t on Github yet. It
sports a functioning syntax highlighting, but not much else yet. Things to
do:

find out how to organize ATS as a non-.NET language (this has
implications on building, profiling, deploying code) – it is currently
stubbed as a .NET language

devise an approach to converting JSONized level-2 ATS parse trees into
a format that is useable within the plugin

I will put the ATS plugin on Github soon (most likely today).

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

–
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.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/f91b9191-7415-4c42-a932-bb0fa5c1186b%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/f91b9191-7415-4c42-a932-bb0fa5c1186b%40googlegroups.com?utm_medium=email&utm_source=footer
.

Brandon Barker
brandon...@gmail.com

gmhwxi · January 6, 2015, 6:06am

I think it is not used at the moment.
It was meant for some kind of binary data (possibly containing null chars).On Tue, Jan 6, 2015 at 12:51 AM, Brandon Barker brandon...@gmail.com wrote:

| {n:int}
T_CDATA of (array (char, n), size_t (n))
| T_STRING of (string)

What is CDATA used for in lexing? It looks as though it could also be used
for strings.

On Mon, Dec 22, 2014 at 9:09 PM, gmhwxi gmh...@gmail.com wrote:

(*
i0de
: IDENTIFIER_alp
| IDENTIFIER_sym
| EQ
| GT
| LT
| AMPERSAND
| BACKSLASH
| BANG
| TILDE
| MINUSGT
| MINUSLTGT
| GTLT
; /* i0de */
*)

Please see pats_parsing_base.dats.
On Monday, December 22, 2014 9:05:00 PM UTC-5, Brandon Barker wrote:

Which token is for identifiers?

On Sat, Dec 20, 2014 at 1:31 PM, Brandon Barker brand...@gmail.com wrote:

OK, thanks, I seem to recall that there were differences in writing
down some of the literals in ATS versus C, but probably I am mistaken. Also
I can’t easily check much as I only have internet on my phone for a few
hours. Good time to translate the lexer though.
On Dec 20, 2014 1:25 PM, “gmhwxi” gmh...@gmail.com wrote:

The literals (chars, integers, floats, strings) are taken from C.

On Saturday, December 20, 2014 1:15:13 PM UTC-5, Brandon Barker wrote:

I found this one, but in case my ATS is rusty/incomplete, I was
hoping to find a definitive reference for the form of all literals. Not the
names of the tokens.
On Dec 20, 2014 1:06 PM, “Hongwei Xi” gmh...@gmail.com wrote:

The names of the tokens can be found at the end of the following
file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing_token.dats

On Sat, Dec 20, 2014 at 12:45 PM, Brandon Barker < brand...@gmail.com> wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker < brand...@gmail.com> wrote:

Thanks, I think this helped, but I am still not sure on some
points (this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains the
most straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are
combined to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of
complexity. At least, not at this stage.
You can always write “viewt0ype” instead, which is a normal
identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brand...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me realize
that ATS is even more rich (potentially) than I know, since I saw a number
of reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I
am interpreting incorrectly, but in any case, this group seems to consist
of proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class (e.g. T_VIEWAT).
What distinguishes the words that make up the T_IDENT_alp
token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of
tokens in JSON format.
There could be many ways to use such a file. For instance, use
it for doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such
a file as another form of input.
For such uses, it is important to attach location information
to tokens.

The datatype for tokens in ATS2 is declared in the following
file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough
about the ATS grammar even if I wasn’t. Is it worth trying to lex ATS using
such a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only
free, but open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke < rao...@gmail.com> wrote:

intellij has a ‘free’ version, too.

–
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...@googlegroups.com
.
To post to this group, send email to
ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%
40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-56
74-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com
.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2
nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3Jq
U2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du
1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%
2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQd
D7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brandon...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%3D7cOp%3DvutqxOj7A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%3D7cOp%3DvutqxOj7A%40mail.gmail.com?utm_medium=email&utm_source=footer
.

gmhwxi · October 12, 2014, 7:07pm

I don’t know where to find it

When Alex sees this, he should be able to let us know.On Sunday, October 12, 2014 1:42:03 PM UTC-4, Brandon Barker wrote:

I’m curious where the eclipse-related plugins (if any) are now located,
since I’ll be using eclipse for some unrelated java work soon.

On Sun, Oct 12, 2014 at 3:10 AM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:

Or using the Eclipse framework? Alex Ren tried it a few years ago
and it was a very positive experience.

Using racket means that we ourselves have to do so many things
from scratch. Eclipse can provide a much needed ecosystem for us.

I assume that using MonoDevelop will give us a big ecosystem as well.

On Saturday, October 11, 2014 11:50:39 PM UTC-4, Kiwamu Okabe wrote:

Hi all,

I’m learning Racket language with following slide:

2014-10-11: Introduction to Functional Programming « Articles «
Extellisys
http://www.extellisys.com/articles/20141011-tlug-intro-
to-functional-programming

How wonderful the racket IDE named drracket!!!
How about make ATS language IDE based on drracket?

DrRacket: The Racket Programming Environment

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/377ae5f4-a31c-4c6c-b4d6-de2a6384eb24%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/377ae5f4-a31c-4c6c-b4d6-de2a6384eb24%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@gmail.com <javascript:>

Brandon_Barker · January 6, 2015, 6:38pm

Is classdec also currently unused?On Tue, Jan 6, 2015 at 1:06 AM, Hongwei Xi gmh...@gmail.com wrote:

I think it is not used at the moment.
It was meant for some kind of binary data (possibly containing null chars).

On Tue, Jan 6, 2015 at 12:51 AM, Brandon Barker brandon...@gmail.com wrote:

| {n:int}
T_CDATA of (array (char, n), size_t (n))
| T_STRING of (string)

What is CDATA used for in lexing? It looks as though it could also be
used for strings.

On Mon, Dec 22, 2014 at 9:09 PM, gmhwxi gmh...@gmail.com wrote:

(*
i0de
: IDENTIFIER_alp
| IDENTIFIER_sym
| EQ
| GT
| LT
| AMPERSAND
| BACKSLASH
| BANG
| TILDE
| MINUSGT
| MINUSLTGT
| GTLT
; /* i0de */
*)

Please see pats_parsing_base.dats.
On Monday, December 22, 2014 9:05:00 PM UTC-5, Brandon Barker wrote:

Which token is for identifiers?

On Sat, Dec 20, 2014 at 1:31 PM, Brandon Barker brand...@gmail.com wrote:

OK, thanks, I seem to recall that there were differences in writing
down some of the literals in ATS versus C, but probably I am mistaken. Also
I can’t easily check much as I only have internet on my phone for a few
hours. Good time to translate the lexer though.
On Dec 20, 2014 1:25 PM, “gmhwxi” gmh...@gmail.com wrote:

The literals (chars, integers, floats, strings) are taken from C.

On Saturday, December 20, 2014 1:15:13 PM UTC-5, Brandon Barker wrote:

I found this one, but in case my ATS is rusty/incomplete, I was
hoping to find a definitive reference for the form of all literals. Not the
names of the tokens.
On Dec 20, 2014 1:06 PM, “Hongwei Xi” gmh...@gmail.com wrote:

The names of the tokens can be found at the end of the following
file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing_token.dats

On Sat, Dec 20, 2014 at 12:45 PM, Brandon Barker < brand...@gmail.com> wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker < brand...@gmail.com> wrote:

Thanks, I think this helped, but I am still not sure on some
points (this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains
the most straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are
combined to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of
complexity. At least, not at this stage.
You can always write “viewt0ype” instead, which is a normal
identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brand...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me realize
that ATS is even more rich (potentially) than I know, since I saw a number
of reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I
am interpreting incorrectly, but in any case, this group seems to consist
of proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class (e.g. T_VIEWAT).
What distinguishes the words that make up the T_IDENT_alp
token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of
tokens in JSON format.
There could be many ways to use such a file. For instance,
use it for doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such
a file as another form of input.
For such uses, it is important to attach location information
to tokens.

The datatype for tokens in ATS2 is declared in the following
file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough
about the ATS grammar even if I wasn’t. Is it worth trying to lex ATS using
such a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only
free, but open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke < rao...@gmail.com> wrote:

intellij has a ‘free’ version, too.

–
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-l...@googlegroups.com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%
40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-56
74-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2
nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com
.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3Jq
U2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du
1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%
2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQd
D7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brandon...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%3D7cOp%3DvutqxOj7A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%3D7cOp%3DvutqxOj7A%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpoZb43%2B802y0RYaRC7C8g2z1GWWZMXbT17e9Y3WPOauQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpoZb43%2B802y0RYaRC7C8g2z1GWWZMXbT17e9Y3WPOauQ%40mail.gmail.com?utm_medium=email&utm_source=footer
.

Brandon Barker
brandon...@gmail.com

gmhwxi · October 12, 2014, 7:10am

Or using the Eclipse framework? Alex Ren tried it a few years ago
and it was a very positive experience.

Using racket means that we ourselves have to do so many things
from scratch. Eclipse can provide a much needed ecosystem for us.

I assume that using MonoDevelop will give us a big ecosystem as well.On Saturday, October 11, 2014 11:50:39 PM UTC-4, Kiwamu Okabe wrote:

Hi all,

I’m learning Racket language with following slide:

2014-10-11: Introduction to Functional Programming « Articles « Extellisys

http://www.extellisys.com/articles/20141011-tlug-intro-to-functional-programming

How wonderful the racket IDE named drracket!!!
How about make ATS language IDE based on drracket?

DrRacket: The Racket Programming Environment

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

Brandon_Barker · December 20, 2014, 6:15pm

I found this one, but in case my ATS is rusty/incomplete, I was hoping to
find a definitive reference for the form of all literals. Not the names of
the tokens.On Dec 20, 2014 1:06 PM, “Hongwei Xi” gmh...@gmail.com wrote:

The names of the tokens can be found at the end of the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats_lexing_token.dats

On Sat, Dec 20, 2014 at 12:45 PM, Brandon Barker <brandon...@gmail.com wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker < brandon...@gmail.com> wrote:

Thanks, I think this helped, but I am still not sure on some points
(this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains the most
straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are combined
to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of complexity.
At least, not at this stage.
You can always write “viewt0ype” instead, which is a normal identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brandon...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me realize that
ATS is even more rich (potentially) than I know, since I saw a number of
reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I am
interpreting incorrectly, but in any case, this group seems to consist of
proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class (e.g. T_VIEWAT). What
distinguishes the words that make up the T_IDENT_alp token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of tokens in
JSON format.
There could be many ways to use such a file. For instance, use it
for doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such a file
as another form of input.
For such uses, it is important to attach location information to
tokens.

The datatype for tokens in ATS2 is declared in the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/
pats_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough about
the ATS grammar even if I wasn’t. Is it worth trying to lex ATS using such
a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only free, but
open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke rao...@gmail.com wrote:

intellij has a ‘free’ version, too.

–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%
40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%40mail.gmail.com?utm_medium=email&utm_source=footer
.

Yannick_Duchene · October 15, 2014, 8:15pm

Tangentially tangentially related:

I started my functional experience with Common Lisp and taught
Scheme for a couple of years. I do miss programming in Scheme a bit.
I think that the “right” way of programming in Scheme is that you do the
planning in ATS and the plumbing in Scheme.

Do you know a tiny example? I’m don’t understand what’s nice with “plumbing
in Scheme”.

Brandon_Barker · December 20, 2014, 6:31pm

OK, thanks, I seem to recall that there were differences in writing down
some of the literals in ATS versus C, but probably I am mistaken. Also I
can’t easily check much as I only have internet on my phone for a few
hours. Good time to translate the lexer though.On Dec 20, 2014 1:25 PM, “gmhwxi” gmh...@gmail.com wrote:

The literals (chars, integers, floats, strings) are taken from C.

On Saturday, December 20, 2014 1:15:13 PM UTC-5, Brandon Barker wrote:

I found this one, but in case my ATS is rusty/incomplete, I was hoping to
find a definitive reference for the form of all literals. Not the names of
the tokens.
On Dec 20, 2014 1:06 PM, “Hongwei Xi” gmh...@gmail.com wrote:

The names of the tokens can be found at the end of the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/
pats_lexing_token.dats

On Sat, Dec 20, 2014 at 12:45 PM, Brandon Barker brand...@gmail.com wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker <brand...@gmail.com wrote:

Thanks, I think this helped, but I am still not sure on some points
(this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains the
most straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are
combined to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of complexity.
At least, not at this stage.
You can always write “viewt0ype” instead, which is a normal
identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brand...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me realize that
ATS is even more rich (potentially) than I know, since I saw a number of
reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I am
interpreting incorrectly, but in any case, this group seems to consist of
proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class (e.g. T_VIEWAT). What
distinguishes the words that make up the T_IDENT_alp token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of tokens
in JSON format.
There could be many ways to use such a file. For instance, use it
for doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such a
file as another form of input.
For such uses, it is important to attach location information to
tokens.

The datatype for tokens in ATS2 is declared in the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough
about the ATS grammar even if I wasn’t. Is it worth trying to lex ATS using
such a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only free,
but open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke rao...@gmail.com wrote:

intellij has a ‘free’ version, too.

–
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...@googlegroups.com.
To post to this group, send email to
ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb5Fgv
vUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-
5674-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%
40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhD
HcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%
3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbB
uOm_2F-uQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwE
fCk4o_fuUU5cO94XAazbw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%40googlegroups.com?utm_medium=email&utm_source=footer
.

gmhwxi · January 6, 2015, 6:44pm

It is used. For instance, it used in ATS2-contrib/GTK.On Tuesday, January 6, 2015 1:39:14 PM UTC-5, Brandon Barker wrote:

Is classdec also currently unused?

On Tue, Jan 6, 2015 at 1:06 AM, Hongwei Xi <gmh...@gmail.com <javascript:> wrote:

I think it is not used at the moment.
It was meant for some kind of binary data (possibly containing null
chars).

On Tue, Jan 6, 2015 at 12:51 AM, Brandon Barker <brand...@gmail.com <javascript:>> wrote:

| {n:int}
T_CDATA of (array (char, n), size_t (n))
| T_STRING of (string)

What is CDATA used for in lexing? It looks as though it could also be
used for strings.

On Mon, Dec 22, 2014 at 9:09 PM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:

(*
i0de
: IDENTIFIER_alp
| IDENTIFIER_sym
| EQ
| GT
| LT
| AMPERSAND
| BACKSLASH
| BANG
| TILDE
| MINUSGT
| MINUSLTGT
| GTLT
; /* i0de */
*)

Please see pats_parsing_base.dats.
On Monday, December 22, 2014 9:05:00 PM UTC-5, Brandon Barker wrote:

Which token is for identifiers?

On Sat, Dec 20, 2014 at 1:31 PM, Brandon Barker brand...@gmail.com wrote:

OK, thanks, I seem to recall that there were differences in writing
down some of the literals in ATS versus C, but probably I am mistaken. Also
I can’t easily check much as I only have internet on my phone for a few
hours. Good time to translate the lexer though.
On Dec 20, 2014 1:25 PM, “gmhwxi” gmh...@gmail.com wrote:

The literals (chars, integers, floats, strings) are taken from C.

On Saturday, December 20, 2014 1:15:13 PM UTC-5, Brandon Barker wrote:

I found this one, but in case my ATS is rusty/incomplete, I was
hoping to find a definitive reference for the form of all literals. Not the
names of the tokens.
On Dec 20, 2014 1:06 PM, “Hongwei Xi” gmh...@gmail.com wrote:

The names of the tokens can be found at the end of the following
file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing_token.dats

On Sat, Dec 20, 2014 at 12:45 PM, Brandon Barker < brand...@gmail.com> wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker < brand...@gmail.com> wrote:

Thanks, I think this helped, but I am still not sure on some
points (this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains
the most straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are
combined to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of
complexity. At least, not at this stage.
You can always write “viewt0ype” instead, which is a normal
identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brand...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me
realize that ATS is even more rich (potentially) than I know, since I saw a
number of reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I
am interpreting incorrectly, but in any case, this group seems to consist
of proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class
(e.g. T_VIEWAT). What distinguishes the words that make up the
T_IDENT_alp token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on
JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of
tokens in JSON format.
There could be many ways to use such a file. For instance,
use it for doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take
such a file as another form of input.
For such uses, it is important to attach location
information to tokens.

The datatype for tokens in ATS2 is declared in the following
file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats
_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know
enough about the ATS grammar even if I wasn’t. Is it worth trying to lex
ATS using such a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only
free, but open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke < rao...@gmail.com> wrote:

intellij has a ‘free’ version, too.

–
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-l...@googlegroups.com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%
40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-56
74-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2
nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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...@googlegroups.com.
To post to this group, send email to ats-lan…@googlegroups.
com.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3Jq
U2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com
.
Visit this group at http://groups.google.com/group
/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du
1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users
.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%
2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRoad2i%2B%2BDWDkJ2GSB6KwBQxBGY6tN8f7oPbBuOm_2F-uQ%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQd
D7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqxQdD7hO7mREcPYVG7YjPwEfCk4o_fuUU5cO94XAazbw%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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-
b9dc-427a-96d3-53400c24df8b%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/a55b5333-b9dc-427a-96d3-53400c24df8b%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/88739c74-d3dc-4ea5-9062-4875479d0090%40googlegroups.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@gmail.com <javascript:>

–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%3D7cOp%3DvutqxOj7A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRrLZ_Mm5fG6wGgkySHuUt6gijkS7DG%3D7cOp%3DvutqxOj7A%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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpoZb43%2B802y0RYaRC7C8g2z1GWWZMXbT17e9Y3WPOauQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpoZb43%2B802y0RYaRC7C8g2z1GWWZMXbT17e9Y3WPOauQ%40mail.gmail.com?utm_medium=email&utm_source=footer
.

–
Brandon Barker
brand...@gmail.com <javascript:>

john_skaller · November 26, 2014, 8:03am

I wanted to add that web browser-based IDE may be a better decision in
the long term.

I have a basic “colouring” system for Felix based on CodeWarrior.
It can also do folding etc.

However such an editor is a LONG way from a what a basic editor
can do … I never use IDE’s but obviously a good IDE is a long way
from a basic editor.

Browser based IDE has two problems.

The core problem is that it cannot save files. This means a browser
based idea is impossible in principle and in practice. It cannot
be done, end of story

So now, we have to change our tune. We need SERVER based IDE
with a custom web server which happens to use a browser as a front end.
I have such a thing, in primitive form. The browser says POST and the
server does SAVE. (Roughly … you get the idea I hope).

Note a problem already: sure, the browser code runs on all
compliant browsers (good), but it only works connected to
a compliant server. Mine is written in Felix which generates C++.
I would hate to have to write the server code in rubbish like PHP.

OK, so now we come to the second problem.

LAG. To do anything, integration operations, such as hyperlinking
a symbol to its definition in another file, must be done on the server.
We don’t want to do such difficult things in Javascript!

So now, whenever you type a character things can change.
In Emacs or Vim, or Desktop IDE, the changes can propagate
more or less instantly.

Until Google et al get WebSockets running, there’s no way we can
do that efficiently on a desktop using a server model supported by
HTTP, let alone HTTPS to a remote server.

It’s true, I have a good IDE in my browser already … Firebug. But it’s
an IDE for Javascript, and for the code actually running in the browser.

Much as I think it is a horrible badly written piece of junk … the
best IDE inexistence is already available for ATS.

Its called BASH.

john skaller
ska...@users.sourceforge.net
http://felix-lang.org

gmhwxi · December 20, 2014, 6:11pm

The symbol //// (four lashes) in a file introduces a comment that spans
until the end of the file.On Sat, Dec 20, 2014 at 12:56 PM, Brandon Barker brandon...@gmail.com wrote:

Also, comment tokens (which I am pretty clear on, but I do not know what a
rest-of-file comment is in ATS).
On Dec 20, 2014 12:47 PM, “Brandon Barker” brandon...@gmail.com wrote:

E.g. T_FLOAT, T_CHAR
On Dec 20, 2014 12:45 PM, “Brandon Barker” brandon...@gmail.com wrote:

Sorry! Literal tokens.
On Dec 20, 2014 12:21 PM, “Hongwei Xi” gmh...@gmail.com wrote:

What do mean by ‘literal types’?

On Sat, Dec 20, 2014 at 12:10 PM, Brandon Barker < brandon...@gmail.com> wrote:

Thanks, I think this helped, but I am still not sure on some points
(this can be worried about later, as you say).

More importantly, which parsing source file, if any, contains the most
straightforward definitions of various literal types in ATS?

On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are combined
to form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of complexity.
At least, not at this stage.
You can always write “viewt0ype” instead, which is a normal
identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker < brandon...@gmail.com> wrote:

Thanks,

I’ve gotten most of the way through it. It has made me realize that
ATS is even more rich (potentially) than I know, since I saw a number of
reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I am
interpreting incorrectly, but in any case, this group seems to consist of
proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class (e.g. T_VIEWAT). What
distinguishes the words that make up the T_IDENT_alp token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of tokens in
JSON format.
There could be many ways to use such a file. For instance, use it
for doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such a
file as another form of input.
For such uses, it is important to attach location information to
tokens.

The datatype for tokens in ATS2 is declared in the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/
pats_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough about
the ATS grammar even if I wasn’t. Is it worth trying to lex ATS using such
a tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker < brand...@gmail.com> wrote:

I did not realize until today that IntelliJ is not only free, but
open source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke rao...@gmail.com wrote:

intellij has a ‘free’ version, too.

–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com
.
Visit this group at http://groups.google.com/
group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/
CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%
40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com
.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRq3JqU2z6OqmNBNzpsVvtNhDHcCJ0Y33oAM9c9G94w3pQ%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq3Du1%3DHjkR5Jo6Qo%3DkGHhXxXMf7oZLHR8%3D0G1mx6ag-w%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRpHbsLE%3D15oZNEsTtkyE820_dsTDkreQChWAZ-Hmdo1sA%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRpHbsLE%3D15oZNEsTtkyE820_dsTDkreQChWAZ-Hmdo1sA%40mail.gmail.com?utm_medium=email&utm_source=footer
.

gmhwxi · October 14, 2014, 5:32pm

what API is expected from the IDE side for language support?

For a basic IDE:

1.1. Syntax support (highlighting, autocompletion, etc.)
1.2. Typechecking support (error messages can be mapped to source code)
1.3. Compilation support (File dependency)
1.4. Runtime support for debugging
1.5. Library support

1.2 and 1.3 should be given higher priority. 1.5 is also very important and
needs to be built gradually.

For a commercial one:

1.6. Support for external constraint-solving
1.7. Support for advanced meta-programming (that is, tools for generating
ATS code)
…

what information can the Postiats compiler currently provide?

So far, the compiler can generate JSON for level-2 abstract syntax trees
(level-2 refers to the stage
where name-bindings are resolved). It should be straightforward to add more
support like this.

Regarding point 1: I can take a look at MonoDevelop so we can elaborate
the question further.

Following a real example should be very helpful.

Thanks for taking the initiative.

Cheers!

–HongweiOn Tue, Oct 14, 2014 at 12:28 PM, Artyom Shalkhakov < artyom.s...@gmail.com> wrote:

On Sunday, October 12, 2014 9:50:39 AM UTC+6, Kiwamu Okabe wrote:

Hi all,

I’m learning Racket language with following slide:

2014-10-11: Introduction to Functional Programming « Articles «
Extellisys
http://www.extellisys.com/articles/20141011-tlug-intro-
to-functional-programming

How wonderful the racket IDE named drracket!!!
How about make ATS language IDE based on drracket?

DrRacket: The Racket Programming Environment

What is necessary to implement IDE support for ATS? I guess this question
should be narrowed down to:

what API is expected from the IDE side for language support?

what information can the Postiats compiler currently provide?

Regarding point 1: I can take a look at MonoDevelop so we can elaborate
the question further.

Hongwei (or anybody who knows this stuff): what’s this JSON output from
the compiler? Can we form some sort of a database from compiler output?
Such a database would contain concrete syntax tree (presumably) together
with information about various identifiers (e.g. to allow navigation from
function name to location of function declaration or to highlight free
occurrences of a let-bound identifier in scope). I guess what the database
must contain/provide answers to is up to IDE requirements, but it’s helpful
to make a few general assumptions now.

Also, note that F# and OCaml both implement IDE-neutral facilities for use
in IDEs of one’s choice (called F# bindings and Typerex, respectively).

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

–
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.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/16cd7749-e82b-4c58-b052-533502bb020e%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/16cd7749-e82b-4c58-b052-533502bb020e%40googlegroups.com?utm_medium=email&utm_source=footer
.

Artyom_Shalkhakov · October 14, 2014, 4:28pm

Hi all,

I’m learning Racket language with following slide:

2014-10-11: Introduction to Functional Programming « Articles « Extellisys

http://www.extellisys.com/articles/20141011-tlug-intro-to-functional-programming

How wonderful the racket IDE named drracket!!!
How about make ATS language IDE based on drracket?

DrRacket: The Racket Programming Environment

What is necessary to implement IDE support for ATS? I guess this question
should be narrowed down to:

what API is expected from the IDE side for language support?
what information can the Postiats compiler currently provide?

Regarding point 1: I can take a look at MonoDevelop so we can elaborate the
question further.

Hongwei (or anybody who knows this stuff): what’s this JSON output from the
compiler? Can we form some sort of a database from compiler output? Such a
database would contain concrete syntax tree (presumably) together with
information about various identifiers (e.g. to allow navigation from
function name to location of function declaration or to highlight free
occurrences of a let-bound identifier in scope). I guess what the database
must contain/provide answers to is up to IDE requirements, but it’s helpful
to make a few general assumptions now.

Also, note that F# and OCaml both implement IDE-neutral facilities for use
in IDEs of one’s choice (called F# bindings and Typerex, respectively).

Brandon_Barker · December 20, 2014, 5:10pm

Thanks, I think this helped, but I am still not sure on some points (this
can be worried about later, as you say).

More importantly, which parsing source file, if any, contains the most
straightforward definitions of various literal types in ATS?On Dec 20, 2014 2:06 AM, “Hongwei Xi” gmh...@gmail.com wrote:

It is getting a bit involved.

If T_VIEWT is followed by “@type”, then these two pieces are combined to
form “viewt@ype”.
I kind of regret to form such a strange identifier

However, you don’t really need to deal with this kind of complexity. At
least, not at this stage.
You can always write “viewt0ype” instead, which is a normal identifier.

On Sat, Dec 20, 2014 at 12:13 AM, Brandon Barker <brandon...@gmail.com wrote:

Thanks,

I’ve gotten most of the way through it. It has made me realize that ATS
is even more rich (potentially) than I know, since I saw a number of
reserved tokens for either unused or rarely used features.

I have a question about the following:

| T_IDENT_alp of string

It seems this token can have several lexical matches. Maybe I am
interpreting incorrectly, but in any case, this group seems to consist of
proof-related words:
implement PERCENT = T_IDENT_alp “%”
implement QMARK = T_IDENT_alp “?”
implement REF = T_IDENT_alp “ref”
// HX: ref@ for flattened reference

But there are other tokens too in this class (e.g. T_VIEWAT). What
distinguishes the words that make up the T_IDENT_alp token?

On Friday, December 12, 2014 1:29:42 AM UTC-5, gmhwxi wrote:

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of tokens in JSON
format.
There could be many ways to use such a file. For instance, use it for
doing syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such a file as
another form of input.
For such uses, it is important to attach location information to tokens.

The datatype for tokens in ATS2 is declared in the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats_lexing.sats

On Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough about the
ATS grammar even if I wasn’t. Is it worth trying to lex ATS using such a
tool: http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker brand...@gmail.com wrote:

I did not realize until today that IntelliJ is not only free, but open
source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke rao...@gmail.com wrote:

intellij has a ‘free’ version, too.

–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6Q
kQBA1R%3DqfdjUW7Gn2qzng%40mail.gmail.com.

–
Brandon Barker
brand...@gmail.com

–
Brandon Barker
brand...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39a56165-5674-411b-aa78-afd068704d1a%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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqiT2nzHt2byV8TZAA3qSpuM9%2Bx4Y5nfAQCQxkkVax88A%40mail.gmail.com?utm_medium=email&utm_source=footer
.

Artyom_Shalkhakov · November 26, 2014, 3:26am

Hello Brandon, all,

generally speaking, i think intellij is the more hip and trendy thing
than anything else in java land; they are now the sweet honey friend
of google android, eclipse is getting the shaft sorta. and they have
ides for other things as well like appcode. and they support other
languages via plug-ins e.g. scala or erlang or whatever. on the whole
i sorta like intellij better than eclipse, although at work for
android we still use eclipse. (i haven’t used netbeans in years. it is
an underdog in terms of mindshare, fwiw.) all 3 of eclipse, intellij,
and netbeans are java-based i think which tends to mean they are not
very snappy. try using xcode by comparison. what the heck is
visualstudio written in these days, i assume .net?

Some plugins are written in C#. The core? No idea, probably C++.

no, there’s not much of a point to this message.

i think the only way the ATS IDE choice should be made is by somebody
dusting off their hands and making a plugin for whichever IDE they
favor. then everybody can follow that blazed trail. just sitting
around doing bike shed discussions isn’t as useful

True enough, but I have the ulterior motive of needing to use Java anyway…
Probably for now, any of them will do the trick. I like to not have to deal
with licenses unless absolutely necessary, costs aside, so I didn’t try
IntelliJ. Maybe it is worth it.

I tried to implement an ATS IDE on top of MonoDevelop. MD’s
documentation is quite outdated, so I didn’t get past basic stuff.
Perhaps IntelliJ is better in this regard.

–
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.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb6j7F%3Do%2BjvAswUvLj2jyxg1kJQeQDwO_PpTEUdUFRwARA%40mail.gmail.com.

–
Brandon Barker
brandon...@gmail.com

Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk

ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
ats-lang-users List Signup and Options

Cheers,
Artyom Shalkhakov

gmhwxi · December 12, 2014, 6:29am

It would be nice to implement a lexer for ATS2 based on JFlex.
It is a modest project but can be quite useful.

Given an ATS2 source file, the lexer can output a file of tokens in JSON
format.
There could be many ways to use such a file. For instance, use it for doing
syntax-highlighting.
It is also possible for modify the ATS2 compiler to take such a file as
another form of input.
For such uses, it is important to attach location information to tokens.

The datatype for tokens in ATS2 is declared in the following file:

https://github.com/githwxi/ATS-Postiats/blob/master/src/pats_lexing.satsOn Thursday, December 11, 2014 8:00:59 PM UTC-5, Brandon Barker wrote:

I’m a bit rusty on this topic, and also, I don’t know enough about the ATS
grammar even if I wasn’t. Is it worth trying to lex ATS using such a tool:
http://jflex.de/?

On Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker <brand...@gmail.com <javascript:>> wrote:

I did not realize until today that IntelliJ is not only free, but open
source. I’m liking it as well so far.

On Tue, Nov 25, 2014 at 12:39 PM, Raoul Duke <rao...@gmail.com <javascript:>> wrote:

intellij has a ‘free’ version, too.

–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%40mail.gmail.com
.

–
Brandon Barker
brand...@gmail.com <javascript:>

–
Brandon Barker
brand...@gmail.com <javascript:>

gmhwxi · October 12, 2014, 3:03pm

However drracket IDE is great.
Do you try to use it?

No, I have never used DrRacket. I had some experience with DrScheme.
I don’t doubt DrRacket being great. The IDE that impressed me most in the
past was the one for SmallTalk; it was truly revolutionary in its days. I
heard that
Self’s IDE is great as well.

If you go ahead to build an IDE for ATS based on DrRacket, it will
certainly help
the ats-lang-users community!

And also eclipse is very slow, big and having messy architecture.

This is absolutely true. We can probably say the same thing about Linux as
well

In the long run, we can and probably should build several IDEs for ATS:
ones for
light duties, ones for heavy duties, and maybe commercial ones as well :)On Sun, Oct 12, 2014 at 3:51 AM, Kiwamu Okabe kiw...@debian.or.jp wrote:

Hi,

On Sun, Oct 12, 2014 at 4:10 PM, gmhwxi gmh...@gmail.com wrote:

Using racket means that we ourselves have to do so many things
from scratch. Eclipse can provide a much needed ecosystem for us.

Umm…
However drracket IDE is great.
Do you try to use it?

http://www.extellisys.com/static/articles/20141011-tlug-intro-to-functional-programming/20141011-IntroToFP.pdf

It’s a good tutorial for drracket.
How wonderful showing many information at mouse hover!

And also eclipse is very slow, big and having messy architecture.

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

–
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.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dnNbxnoNo1vTNiem_Q%3DP_vdKuQyV2q1w%3Dq3c6%2BOUmLSbw%40mail.gmail.com
.

Topic		Replies	Views
Roadmap for the future of ATS? Google Group	15	605	May 15, 2014
Ats repl Google Group	12	580	June 2, 2015
An ATS mode for SublimeText and TextMate Google Group	24	1493	December 24, 2015
IntelliJ Plugin Google Group	11	568	January 9, 2015
ATS2-0.0.6 release Google Group	6	417	February 18, 2014

An idea: How about make ATS language IDE based on drracket?

Thank’s,

Thank’s,

Thank’s,

Thank’s,

Thank’s,

Thank’s,

Related topics