Try ATS in your browser

This server-less service is entirely done in client-side JS.

Patsopt is the command for compiling ATS source code into C. The JS-version of Patsopt used here is generated with the help of Emscripten.
Atscc2js is the command for compiling C code generated from ATS source into JS. The JS-version of Atscc2js used here is generated with the help of Emscripten.

The GUI for Try-ATS-in-your-browser is largely intuitive:

The input box following the button Patsopt is for passing options to Patsopt.
If the box in front of the button Atscc2js is checked, then the C code produced by calling Patsopt is automatically compiled by Atscc2js.
If the box in front of the button Evaluate is checked, then the JS code produced by calling Atscc2js is automatically evaluated (by the browser).
The boxes of the names Patsopt-out and Atscc2js-out (at the lower right corner) can be checked to choose whether the output produced by Patsopt or Atscc2js should be displayed in the right window.

	// // Yes, you can edit // (* **** **** ) // // Eratosthenes Sieve // ( **** **** ) #define cons stream_cons ( **** **** ) fun from{n:int} ( n: int(n) ) : stream (int) = $delay(cons(n, from(n+1))) ( **** **** ) fun sieve ( ns: stream int ) :<!laz> stream(int) = $delay ( let val-cons(n, ns) = !ns in cons(n, sieve(stream_filter_cloref(ns, lam x => x % n > 0))) end : stream_con (int) ) ( end of [sieve] ) ( **** **** ) // fun nth{a:t@ype} ( xs: stream(INV(a)), n: int ) : a = let // val-cons (x, xs) = !xs // in if n > 0 then nth(xs, n-1) else x end // end of [nth] // overload [] with nth of 1000 // ( **** **** ) // val primes = sieve(from(2)) // val () = println! ("primes[0] = ", primes[0]) val () = println! ("primes[1] = ", primes[1]) val () = println! ("primes[2] = ", primes[2]) val () = println! ("primes[3] = ", primes[3]) val () = println! ("primes[4] = ", primes[4]) val () = println! ("primes[5] = ", primes[5]) val () = println! ("primes[6] = ", primes[6]) val () = println! ("primes[7] = ", primes[7]) val () = println! ("primes[8] = ", primes[8]) val () = println! ("primes[9] = ", primes[9]) // val () = println! ("primes[10] = ", primes[10]) // val () = println! ("primes[100] = ", primes[100]) // val () = println! ("primes[1000] = ", primes[1000]) // ( **** **** ) ( end-of-program-unit *)
		Patsopt-out Atscc2js-out

This page is created and also maintained by Hongwei Xi (email: hwxiATcsDOTbuDOTedu).