# Patsoptaas

**URL:** <https://discourse.ats-lang.org/t/patsoptaas/841>\
**Category:** Google Group\
**Created:** [October 7, 2014, 6:48pm UTC](https://discourse.ats-lang.org/t/patsoptaas/841 "2014-10-07T18:48:46Z")\
**Posts on this page:** 8\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [October 7, 2014, 6:48pm UTC](https://discourse.ats-lang.org/t/patsoptaas/841/1 "2014-10-07T18:48:46Z")

</div>

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

[http://atslangweb-postiats.rhcloud.com/Patsoptaas.html](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.

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [August 6, 2015, 5:01pm UTC](https://discourse.ats-lang.org/t/patsoptaas/841/2 "2015-08-06T17:01:20Z")

</div>

I added some documentation for Patsoptaas (Patsopt-as-a-service) that allows  
one to try ATS on-line:

[http://www.ats-lang.org/SERVER/MYCODE/Patsoptaas\_serve.php?mycode=hello](http://www.ats-lang.org/SERVER/MYCODE/Patsoptaas_serve.php?mycode=hello)

By clicking the Help button, you can read about how various buttons of  
Patsoptaas work.

–Hongwei

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [October 10, 2014, 7:33am UTC](https://discourse.ats-lang.org/t/patsoptaas/841/3 "2014-10-10T07:33:07Z")

</div>

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.On Friday, October 10, 2014 3:29:46 AM UTC-4, gmhwxi wrote:

> 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=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](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!
> 
> On Wednesday, October 8, 2014 11:42:39 PM UTC-4, gmhwxi wrote:
> 
> > 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.
> > 
> > On Tuesday, October 7, 2014 2:48:46 PM UTC-4, gmhwxi wrote:
> > 
> > > I have been working for some time on a system I call  
> > > Patsoptaas: Patsopt-as-a-Service
> > > 
> > > [http://atslangweb-postiats.rhcloud.com/Patsoptaas.html](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.

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [October 9, 2014, 3:42am UTC](https://discourse.ats-lang.org/t/patsoptaas/841/4 "2014-10-09T03:42:39Z")

</div>

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.On Tuesday, October 7, 2014 2:48:46 PM UTC-4, gmhwxi wrote:

> I have been working for some time on a system I call  
> Patsoptaas: Patsopt-as-a-Service
> 
> [http://atslangweb-postiats.rhcloud.com/Patsoptaas.html](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.

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [October 7, 2014, 6:56pm UTC](https://discourse.ats-lang.org/t/patsoptaas/841/5 "2014-10-07T18:56:14Z")

</div>

(Although, my phone also has gcc installed… so getting patsopt built  
might be the next step.)On Tue, Oct 7, 2014 at 2:54 PM, Brandon Barker [brandon...@gmail.com](mailto:brandon...@gmail.com) wrote:

> Great, just tried it from my phone - should be handy from time to time  
> even for those with ATS installed.
> 
> On Tue, Oct 7, 2014 at 2:48 PM, gmhwxi [gmh...@gmail.com](mailto:gmh...@gmail.com) wrote:
> 
> > I have been working for some time on a system I call  
> > Patsoptaas: Patsopt-as-a-Service
> > 
> > [http://atslangweb-postiats.rhcloud.com/Patsoptaas.html](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.
> > 
> > –  
> > 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](mailto:ats-lang-user...@googlegroups.com).  
> > To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> > Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com)  
> > [https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com?utm_medium=email&utm_source=footer)  
> > .
> 
> –  
> Brandon Barker  
> [brandon...@gmail.com](mailto:brandon...@gmail.com)

Brandon Barker  
[brandon...@gmail.com](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [October 7, 2014, 6:54pm UTC](https://discourse.ats-lang.org/t/patsoptaas/841/6 "2014-10-07T18:54:22Z")

</div>

Great, just tried it from my phone - should be handy from time to time even  
for those with ATS installed.On Tue, Oct 7, 2014 at 2:48 PM, gmhwxi [gmh...@gmail.com](mailto:gmh...@gmail.com) wrote:

> I have been working for some time on a system I call  
> Patsoptaas: Patsopt-as-a-Service
> 
> [http://atslangweb-postiats.rhcloud.com/Patsoptaas.html](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.
> 
> –  
> 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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com)  
> [https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com?utm_medium=email&utm_source=footer)  
> .

Brandon Barker  
[brandon...@gmail.com](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [October 10, 2014, 7:29am UTC](https://discourse.ats-lang.org/t/patsoptaas/841/7 "2014-10-10T07:29:46Z")

</div>

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=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](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!On Wednesday, October 8, 2014 11:42:39 PM UTC-4, gmhwxi wrote:

> 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.
> 
> On Tuesday, October 7, 2014 2:48:46 PM UTC-4, gmhwxi wrote:
> 
> > I have been working for some time on a system I call  
> > Patsoptaas: Patsopt-as-a-Service
> > 
> > [http://atslangweb-postiats.rhcloud.com/Patsoptaas.html](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.

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [October 7, 2014, 11:48pm UTC](https://discourse.ats-lang.org/t/patsoptaas/841/8 "2014-10-07T23:48:03Z")

</div>

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.On Tuesday, October 7, 2014 2:56:35 PM UTC-4, Brandon Barker wrote:

> (Although, my phone also has gcc installed… so getting patsopt built  
> might be the next step.)
> 
> On Tue, Oct 7, 2014 at 2:54 PM, Brandon Barker \<[brand...@gmail.com](mailto:brand...@gmail.com) \<javascript:\>\> wrote:
> 
> > Great, just tried it from my phone - should be handy from time to time  
> > even for those with ATS installed.
> > 
> > On Tue, Oct 7, 2014 at 2:48 PM, gmhwxi \<[gmh...@gmail.com](mailto:gmh...@gmail.com) \<javascript:\>\> wrote:
> > 
> > > I have been working for some time on a system I call  
> > > Patsoptaas: Patsopt-as-a-Service
> > > 
> > > [http://atslangweb-postiats.rhcloud.com/Patsoptaas.html](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.
> > > 
> > > –  
> > > 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](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)  
> > > \<javascript:\>.  
> > > Visit this group at [http://groups.google.com/group/ats-lang-users](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](https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com)  
> > > [https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/3cc20128-ec8a-42b3-9c0a-4be4321ac888%40googlegroups.com?utm_medium=email&utm_source=footer)  
> > > .
> > 
> > –  
> > Brandon Barker  
> > [brand...@gmail.com](mailto:brand...@gmail.com) \<javascript:\>
> 
> –  
> Brandon Barker  
> [brand...@gmail.com](mailto:brand...@gmail.com) \<javascript:\>