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.
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
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
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.
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
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.
(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 wrote:
Great, just tried it from my phone - should be handy from time to time
even for those with ATS installed.
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.
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 wrote:
I have been working for some time on a system I call
Patsoptaas: Patsopt-as-a-Service
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.
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
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.
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 <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 <javascript:>> wrote:
I have been working for some time on a system I call
Patsoptaas: Patsopt-as-a-Service
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.