From ATS2 to Python

[gmhwxi]

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!

[Raoul Duke]

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

[Brandon Barker]

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

[Raoul Duke]

oh! right, then.

[Brandon Barker]

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

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

[gmhwxi]

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.

[Zhiqiang Ren]

Where is the file "basics_cats.py"? Thanks.

[gmhwxi]

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.

[Brandon Barker]

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
brandon...@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"? :-)

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

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

--

Brandon Barker
brandon...@gmail.com

[Hongwei Xi]

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

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAORbNRonX3XzpiE8ti8GAopSRx5FrU-%3D5Nvr4Xs%2B31NgP-dvHw%40mail.gmail.com.