From ATS2 to Python

Google Group
1

FYI.

The code generator from ATS to Python is functioning.

It is usable now. Hopefully, it will become more and more useful.

Here is the directory containing all the code for this project:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python

For now, you need ATS2-github to compile the code. I will release a new
version of ATS2 very soon
so that ATS2-sourceforge can also be used.

The library for using this code generator needs to be built up from time to
time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

Please find various tests here:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/TEST

Please read the Makefile to see how the code generator can be invoked to
generate Python code:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/TEST/Makefile

So far, the functional core of ATS2 is supported (including datatypes,
pattern matching, higher-order functions, etc.).

Have fun!

2

The library for using this code generator needs to be built up from time to
time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

i hope you mean, “interested in setting up jenkins so things are automated”? :slight_smile:

3

oh! right, then.

4

Where is the file “basics_cats.py”? Thanks.On Tuesday, August 19, 2014 12:32:32 AM UTC-4, gmhwxi wrote:

FYI.

The code generator from ATS to Python is functioning.

It is usable now. Hopefully, it will become more and more useful.

Here is the directory containing all the code for this project:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python

For now, you need ATS2-github to compile the code. I will release a new
version of ATS2 very soon
so that ATS2-sourceforge can also be used.

The library for using this code generator needs to be built up from time
to time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

Please find various tests here:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/TEST

Please read the Makefile to see how the code generator can be invoked to
generate Python code:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/TEST/Makefile

So far, the functional core of ATS2 is supported (including datatypes,
pattern matching, higher-order functions, etc.).

Have fun!

5

Certainly.

For instance, I often add some convenience functions of ML style to a C
library:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/contrib/json-c/SATSOn Mon, Jan 19, 2015 at 11:22 PM, Brandon Barker brandon...@gmail.com wrote:

On Tue, Aug 19, 2014 at 1:45 PM, gmhwxi gmh...@gmail.com wrote:

Right.

Say I want the array type. But Python does not have arrays.
One possibility is to implement arrays based on lists in Python.

The kind of ATS2/Python co-programming in my mind is a bit like
this: say a program is like a tree; then the trunk and boughs are
implemented
in ATS2 and trigs and leaves are in Python.

How about adding boughs to an exiting tree, to extend the analogy. In
other words, implement new library functions for a library that already
exists in Python? I guess this may expose problems with other aspects of
the library in the process.

On Tuesday, August 19, 2014 1:17:11 PM UTC-4, Brandon Barker wrote:

Maybe I misunderstood, I thought Hongwei was implying more work needs to
be done on bringing python standard library and ATS/prelude functions to
the python prelude (since apparently a straight-up port of ATS/prelude
won’t work due to different semantics between C & python).

Brandon Barker
brand...@gmail.com

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

The library for using this code generator needs to be built up from
time to
time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/
master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

i hope you mean, “interested in setting up jenkins so things are
automated”? :slight_smile:

–
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/CAJ7XQb4Lo3YURRUnndMvM-i0VTx49czYb%3D2b0xO8hWPf_
CYMJQ%40mail.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/01a83ce5-6154-4368-8441-81b70299cd74%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/01a83ce5-6154-4368-8441-81b70299cd74%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/CAORbNRonX3XzpiE8ti8GAopSRx5FrU-%3D5Nvr4Xs%2B31NgP-dvHw%40mail.gmail.com
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRonX3XzpiE8ti8GAopSRx5FrU-%3D5Nvr4Xs%2B31NgP-dvHw%40mail.gmail.com?utm_medium=email&utm_source=footer
.

6

Maybe I misunderstood, I thought Hongwei was implying more work needs to be
done on bringing python standard library and ATS/prelude functions to the
python prelude (since apparently a straight-up port of ATS/prelude won’t
work due to different semantics between C & python).

Brandon Barker
brandon…@gmail.comOn Tue, Aug 19, 2014 at 12:51 PM, Raoul Duke rao...@gmail.com wrote:

The library for using this code generator needs to be built up from time
to
time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

i hope you mean, “interested in setting up jenkins so things are
automated”? :slight_smile:

–
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/CAJ7XQb4Lo3YURRUnndMvM-i0VTx49czYb%3D2b0xO8hWPf_CYMJQ%40mail.gmail.com
.

7

Right.

Say I want the array type. But Python does not have arrays.
One possibility is to implement arrays based on lists in Python.

The kind of ATS2/Python co-programming in my mind is a bit like
this: say a program is like a tree; then the trunk and boughs are
implemented
in ATS2 and trigs and leaves are in Python.

How about adding boughs to an exiting tree, to extend the analogy. In other
words, implement new library functions for a library that already exists in
Python? I guess this may expose problems with other aspects of the library
in the process.

Maybe I misunderstood, I thought Hongwei was implying more work needs to
be done on bringing python standard library and ATS/prelude functions to
the python prelude (since apparently a straight-up port of ATS/prelude
won’t work due to different semantics between C & python).

Brandon Barker
brand...@gmail.com

The library for using this code generator needs to be built up from
time to
time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/
master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

i hope you mean, “interested in setting up jenkins so things are
automated”? :slight_smile:

–
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/CAJ7XQb4Lo3YURRUnndMvM-i0VTx49czYb%3D2b0xO8hWPf_
CYMJQ%40mail.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/01a83ce5-6154-4368-8441-81b70299cd74%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/01a83ce5-6154-4368-8441-81b70299cd74%40googlegroups.com?utm_medium=email&utm_source=footer
.

Brandon Barker
brandon...@gmail.com

8

Right.

Say I want the array type. But Python does not have arrays.
One possibility is to implement arrays based on lists in Python.

The kind of ATS2/Python co-programming in my mind is a bit like
this: say a program is like a tree; then the trunk and boughs are
implemented
in ATS2 and trigs and leaves are in Python.On Tuesday, August 19, 2014 1:17:11 PM UTC-4, Brandon Barker wrote:

Maybe I misunderstood, I thought Hongwei was implying more work needs to
be done on bringing python standard library and ATS/prelude functions to
the python prelude (since apparently a straight-up port of ATS/prelude
won’t work due to different semantics between C & python).

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

On Tue, Aug 19, 2014 at 12:51 PM, Raoul Duke <rao...@gmail.com <javascript:>> wrote:

The library for using this code generator needs to be built up from
time to
time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

i hope you mean, “interested in setting up jenkins so things are
automated”? :slight_smile:

–
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/CAJ7XQb4Lo3YURRUnndMvM-i0VTx49czYb%3D2b0xO8hWPf_CYMJQ%40mail.gmail.com
.

9

I wonder if it might be worth layering it in a different way to make it
easier to port prelude between (mandatory GC) languages:

Build up the basic language interface:
libc (already done)
libpython
libjavascript
etc.

Then, implement prelude on top of this. In some cases it could be done very
easily, depending on what is available in libX where X is a language.

Brandon Barker
brandon…@gmail.comOn Tue, Aug 19, 2014 at 1:33 PM, Raoul Duke rao...@gmail.com wrote:

oh! right, then.

–
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/CAJ7XQb7fgRF5K6CUNkFkRfP49pWZ7WFvJPcer2Qw3589%3DDOr8A%40mail.gmail.com
.

10

https://github.com/githwxi/ATS-Postiats-contrib/blob/master/contrib/libatscc2py/CATS/basics_cats.py

For now, you can copy

https://github.com/githwxi/ATS-Postiats-contrib/blob/master/contrib/libatscc2py

into a local directory and then set your PYTHONPATH properly. Python3 is
needed for the generated
python code.On Wednesday, August 27, 2014 4:26:40 PM UTC-4, Zhiqiang Ren wrote:

Where is the file “basics_cats.py”? Thanks.

On Tuesday, August 19, 2014 12:32:32 AM UTC-4, gmhwxi wrote:

FYI.

The code generator from ATS to Python is functioning.

It is usable now. Hopefully, it will become more and more useful.

Here is the directory containing all the code for this project:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python

For now, you need ATS2-github to compile the code. I will release a new
version of ATS2 very soon
so that ATS2-sourceforge can also be used.

The library for using this code generator needs to be built up from time
to time:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/prelude

Anyone interested in volunteering?

Please find various tests here:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/TEST

Please read the Makefile to see how the code generator can be invoked to
generate Python code:

https://github.com/githwxi/ATS-Postiats-contrib/tree/master/projects/MEDIUM/ATS-parse-emit/Python/TEST/Makefile

So far, the functional core of ATS2 is supported (including datatypes,
pattern matching, higher-order functions, etc.).

Have fun!