Patsoptaas

[gmhwxi]

I have been working for some time on a system I call
Patsoptaas: Patsopt-as-a-Service

http://atslangweb-postiats.rhcloud.com/Patsoptaas.html

It is meant for people to learn ATS and play with it.
In particular, I would like to see how useful it can be for
teaching ATS.

Patsoptaas is *not* meant for doing serious programming in ATS.
At least, not yet for now.

As always, your comments/suggestions are welcome.

Cheers!

--Hongwei

PS: Some of the buttons are not working yet. Documentation will
come later. However, the system is simple enough that you can readily
figure out how it works.

[Brandon Barker]

Great, just tried it from my phone - should be handy from time to time even for those with ATS installed.

--
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/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com.

--
Brandon Barker
brandon...@gmail.com

[Brandon Barker]

(Although, my phone also has gcc installed... so getting patsopt built might be the next step.)

--
Brandon Barker
brandon...@gmail.com

[gmhwxi]

Once ATS2 is stable enough, I will release a slightly leaner version of
ATS2 that does not have dependency on libgmp. This should make an already
easy process of buillding ATS2 even easier.

[gmhwxi]

I have now managed to implement all the buttons except the
Help button (which is for a little bit documentation).

Now you can upload a local DATS-file into the ace-editor and
also save the content of the ace-editor into a local file.

[gmhwxi]

I wrote Patsoptaas_serve.php for loading the content of a URL into Patsoptaas.
Here are some examples

http://atslangweb-postiats.rhcloud.com/SERVER/MYCODE/Patsoptaas_serve.php?mycode_url=http://www.ats-lang.org/ats2-lang/doc/EXAMPLE/INTRO/hello.dats
http://atslangweb-postiats.rhcloud.com/SERVER/MYCODE/Patsoptaas_serve.php?mycode_url=https://raw.githubusercontent.com/githwxi/ATS-Postiats/master/doc/BOOK/INT2PROGINATS/CODE/CHAP_FUNCTION/bsearch.dats

This service will allow you to readily try on-line ATS code in your browser.
If you want others to try your ATS code, Patsoptaas_serve.php comes handy as well.

Cheers!

[gmhwxi]

I forgot to mention that the examples I used can only be typechecked; they cannot
be turned into JS code to run. To do that, you need to modify the code a bit. I will give
out instructions for doing it later.