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

Hello Kiwamu,

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

It is very nice, indeed. I am all for making an IDE based on DrRacket.
Another candidate would be MonoDevelop (besides, it has an F# bindings so
we/I can take a look at how it works – I don’t know Racket much,
unfortunately).

Thank’s,

Kiwamu Okabe at METASEPI DESIGN


Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer
Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports
Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper
Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer
Best Open Source Mac Front-Ends 2023


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

Cheers,
Artyom Shalkhakov

Hello John,

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 :slight_smile:

Yes, right. A browser-based IDE can nevertheless make use of some
locally-hosted webserver via WebSockets.

(We recently used this trick to interact with an RFID reader, it works
fine if you use something other than IE < 9. Also, in this particular
case, the application is much easier to package and distribute/fix,
than a full-blown desktop Windows application.)

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

Cheers,
Artyom Shalkhakov

T_REC is for the keyword ‘rec’. For instance, following is
another way to implement the factorial function:

//
val
rec
fact: int → int =
lam (x) => if x > 0 then x*fact(x-1) else 1
//On Tuesday, January 6, 2015 8:14:36 PM UTC-5, Brandon Barker wrote:

Thanks, forgot to grep contrib.

What is the ‘T_REC’ token used for? I

On Tue, Jan 6, 2015 at 1:44 PM, gmhwxi <gmh...@gmail.com <javascript:>> 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 :frowning:

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-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/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-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/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...@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/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
brand...@gmail.com <javascript:>

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?

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 :frowning:

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
.

Any taker :slight_smile:

Hi Mateusz,

---------- Forwarded message ----------
From: Mateusz Kowalczyk <fuu...@fuuzetsu.co.uk <javascript:>>
Date: Tue, Oct 21, 2014 at 8:49 PM
Subject: Re: [ats-lang-users] An idea: How about make ATS language IDE
based on drracket?
To: ats-l...@lists.sourceforge.net <javascript:>

Hi Artyom,

I’ve uploaded the (early, barely working) ATS language binding for
MonoDevelop:

GitHub - ashalkhakov/ATS-Postiats-ide: ATS/Postiats language binding for MonoDevelop

At this point, it can (only) highlight various ATS keywords – it’s
basically a stub. Hopefully it will become much better over time.

It’s a GREAT product!!!
I can build it and use to edit ATS dats file.

https://github.com/master-q/ATS-Postiats-ide/blob/feature/add-screenshot-on-readme/screenshots/screenshot_as_editor.png

If you’re only starting out writing such a thing, then maybe you would
consider Yi as a platform too. We certainly can do highlighting (our
lexers are generated by ‘alex’).

We plan in the future to allow better editing, something like Agda mode
for emacs. The advantage is that you can write your ATS editing mode in
Haskell, not ELisp :wink: I would certainly like to see another party come
and hack stuff in, request features &c. Maybe ATS would be our first
dependently-typed language. We certainly can’t claim to have the feature
set of an IDE though so I guess it depends what you’re after.

That’s an interesting possibility to consider!

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 :frowning:

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
.

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:

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):

http://www.mono-project.com/download/#download-lin

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:

  1. 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

  2. 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).

Which token is for identifiers?On Sat, Dec 20, 2014 at 1:31 PM, Brandon Barker brandon...@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 :frowning:

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/
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...@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
.

Brandon Barker
brandon...@gmail.com

I wanted to add that web browser-based IDE may be a better decision in
the long term. There aren’t many IDEs like that currently, and those
that do exist aren’t as sophisticated as their desktop counterparts,
but they seem to be gaining traction.

Browser-based applications are much easier to distribute than desktop
applications, and nowadays they are easier to develop as well. For
instance, a responsive desktop application involves multi-threading,
which is quite tricky even with language support (think F#'s async),
while browser-based application doesn’t involve threading at all (and
most likely never will). With WebSockets, a web application can access
various resources of the machine easily (much easier than with
specially-crafted browser plugins, which major browser vendors seem to
deprecate).2014-11-26 9:26 GMT+06:00 Artyom Shalkhakov artyom.s...@gmail.com:

Hello Brandon, all,

2014-11-25 23:33 GMT+06:00 Brandon Barker brandon...@gmail.com:

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

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 :slight_smile:

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

Cheers,
Artyom Shalkhakov

| {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 :frowning:

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-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/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
.


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

We should recruit him to write one for ATS :)On Tue, Oct 21, 2014 at 1:00 AM, Kiwamu Okabe kiw...@debian.or.jp wrote:

Hi all,

On Sun, Oct 12, 2014 at 12:50 PM, Kiwamu Okabe kiw...@debian.or.jp wrote:

How about make ATS language IDE based on drracket?

Today I know there is IntelliJ plugin for Haskell.

Redirecting to Google Groups
GitHub - rikvdkleij/intellij-haskell: IntelliJ plugin for Haskell

I think this approach may be applied to ATS2.

This plugin is written mainly in Scala and is not mentioned to support
GHC/Cabal directly.

We needs Scala backend on ATS2. :slight_smile:

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/CAEvX6dn15EyaP%3Dy%3DENV-8gVMrr3Eqi_q_S6GNnbYG5CvcJxoFQ%40mail.gmail.com
.

As a rule of thumb, keeping things simple is the first priority.
If you do it, then you should model it after something you yourself are
familiar with.

I remember seeing someone using Eclipse’s C plugin for writing ATS programs.
It actually worked reasonably well (given the circumstance). Is it
possible to use the setting in MonoDevelop for Ocaml or F# to write ATS
programs
(after some minor changes)? If so, then it could a good starting point.On Wednesday, October 15, 2014 7:25:56 AM UTC-4, Kiwamu Okabe wrote:

Hi Artyom,

On Wed, Oct 15, 2014 at 1:28 AM, Artyom Shalkhakov <artyo...@gmail.com <javascript:>> wrote:

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

First, I would like to share my hope for IDE.
I think IDE is for beginners, not for professional people.

The beginners would like to understand dependent type and linear type
smoothly,
and write a small program running on POSIX API.
However ATS2’s type system is hard for the beginners.
I needed much time to understand the type system.
Please imagine some ATS2’s IDE support the understanding ATS2’s type
system,
with showing a relationship between static value and dynamic value.

The other side, professional people would like to challenge some tricky
things,
such like designing own operating system using ATS2. :slight_smile:
Then they will love vi or Emacs than IDE.

Racket’s drracket IDE is focusing for beginners and for education.
Arduino IDE also focus for beginners.

http://www.arduino.cc/

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

I think such like IDE needs following information from ATS2 compiler.

  • Type of source code location (such like OCaml’s annot)
  • Relationship between statics and dynamics with source code location
  • Relationship binding with source code location
  1. what information can the Postiats compiler currently provide?

Sorry, I don’t know ATS2 compiler internal…

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

For me, I think MonoDevelop design is better than Eclipse.
However, sometime not good for the others…
I should survey MonoDevelop more.

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).

Yes.
F# programming on VisualStudio is a good experience for me!
However the drracket is more beautiful than F# on VisualStudio for
education.

Thank’s,

Kiwamu Okabe at METASEPI DESIGN

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?

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 :slight_smile:

I am not generally an apologist for the web, BUT… there are enough
web and cloud based IDEs that I think existence proofs are out there,
with several different and possibly complementary approaches to e.g.
storing the files.

Further more, WebGL would be more than enough power to make a snappy UI.

So technically I don’t see any impossibilities.

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 :frowning:

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
.

Hi Kiwamu,

Hi Artyom,

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

Mu-fu-----.
I should wait your monodevelop plugin with Seiza.

http://upload.wikimedia.org/wikipedia/commons/0/0b/JimmyWales_wearing_Kimono.jpg

I’ve uploaded the (early, barely working) ATS language binding for
MonoDevelop:

At this point, it can (only) highlight various ATS keywords – it’s
basically a stub. Hopefully it will become much better over time.

Have a rest, please. J

Absolument! That is the way to go.

I think ATS is very good for writing this abstract one :)On Sunday, October 12, 2014 2:56:51 PM UTC-4, Yannick Duchêne wrote:

Le dimanche 12 octobre 2014 20:53:59 UTC+2, Yannick Duchêne a écrit :

Would require precise specifications.

I forget to add: and an abstract one, if possible.

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/?

I think it should work. ATS1 was lexed with a home-grown tool called atslex:

https://github.com/rsimoes/ATS-Lang/tree/master/utils/atslex

I think HX rewrote the whole lexing/parsing stage in ATS2 to be able to
output better error messages.> 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:>

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:
JFlex - JFlex The Fast Scanner Generator for Java Fri, Nov 28, 2014 at 5:46 PM, Brandon Barker brandon...@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-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/CAJ7XQb5FgvvUkjrW3hzNLmdiQwc6QkQBA1R%3DqfdjUW7Gn2qzng%40mail.gmail.com
.


Brandon Barker
brandon...@gmail.com

Brandon Barker
brandon...@gmail.com

Has anyone had experience with netbeans? I tend to like it better than
eclipse, though I’m new to both. I was surprised to see netbeans using more
memory on my system than eclipse, but that is not a lot of data to go on.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