Groups
Sign in
Groups
ats-lang-users
Conversations
Labels
API
ATS3
AVR
Clojure
Erlang
IDE
JVM
JavaScript
PHP
Perl
Python
Scheme
arduino
atsccomp
build
call-by-reference
call-by-value
closure
constraint
contribute
datatype
dependent-type
documentation
effect
emacs
example
general
high-order
install
library
license
linear-closure
linear-type
macro
package
polymorphism
portability
proof
refinement
session
stack-allocation
stream
syntax
tail-recursion
template
termination
theorem-proving
tutorial
type
type-error
About
Send feedback
Help
ats-lang-users
Contact owners and managers
1–9 of 1347
Welcome to the ats-lang-users group!
Mark all as read
Report group
0 selected
gmhwxi
,
Raoul Duke
4
11/7/15
Q&A
Try ATS in your browser
I added a little explanation about the GUI for this server-less service of try-ats-in-your-browser:
unread,
JavaScript
build
library
Q&A
Try ATS in your browser
I added a little explanation about the GUI for this server-less service of try-ats-in-your-browser:
11/7/15
gmhwxi
2
11/3/15
Q&A
Running atscc2js in the browser
Here is a WebWorker-based version: http://ats-lang.github.io/EXPERIMENT/test_libatscc2js/
unread,
JavaScript
library
Q&A
Running atscc2js in the browser
Here is a WebWorker-based version: http://ats-lang.github.io/EXPERIMENT/test_libatscc2js/
11/3/15
gmhwxi
10/26/15
Q&A
WebWorker-based channels
For the purpose of teaching, I implemented simple bi-directional communication channels based on
unread,
JavaScript
Q&A
WebWorker-based channels
For the purpose of teaching, I implemented simple bi-directional communication channels based on
10/26/15
gmhwxi
10/25/15
Q&A
A question on WebWorker
In case someone is familiar with WebWorker. I called postMessage twice in a row inside a worker's
unread,
JavaScript
Q&A
A question on WebWorker
In case someone is familiar with WebWorker. I called postMessage twice in a row inside a worker's
10/25/15
gmhwxi
3
10/27/15
Q&A
Running patsopt in the browser
Here is a webworker-based version of patsopt(JS): https://ats-lang.github.io/EXPERIMENT/
unread,
JavaScript
Q&A
Running patsopt in the browser
Here is a webworker-based version of patsopt(JS): https://ats-lang.github.io/EXPERIMENT/
10/27/15
gmhwxi
, …
H Zhang
10
10/22/15
Q&A
ATS+Emscripten
Also, various libc functions (eg, fopen) needs to be replaced, which requires a lot of work. On
unread,
JavaScript
Q&A
ATS+Emscripten
Also, various libc functions (eg, fopen) needs to be replaced, which requires a lot of work. On
10/22/15
gmhwxi
,
H Zhang
13
11/6/15
Q&A
libatsopt
I just noticed that running 2 pieces of Emscripten generated JS code could cause a conflict between
unread,
JavaScript
build
library
Q&A
libatsopt
I just noticed that running 2 pieces of Emscripten generated JS code could cause a conflict between
11/6/15
Yannick Duchêne
,
gmhwxi
30
5/12/15
Q&A
`dynload` and `atscc2js`: is there anything special?
>>Something related: what's the recommended page to read about `#define` in ATS? #define
unread,
JavaScript
build
Q&A
`dynload` and `atscc2js`: is there anything special?
>>Something related: what's the recommended page to read about `#define` in ATS? #define
5/12/15
gmhwxi
, …
Yannick Duchêne
8
11/24/15
Q&A
Content delivery for libatscc2js_all.js
By the way, I use the following link for now: https://ats-lang.github.io/LIBRARY/libatscc2js/
unread,
JavaScript
Q&A
Content delivery for libatscc2js_all.js
By the way, I use the following link for now: https://ats-lang.github.io/LIBRARY/libatscc2js/
11/24/15