Applied Type System, aka Applied Type System, is an actively used programming language created in 2013.

6Years Old 2,090Users 0Jobs

Example code from the Hello World Collection:

// Hello world in ATS

implement main () = begin
  print ("Hello, world!"); print_newline ()
end

Example code from Linguist:

(* ****** ****** *)
//
// HX-2013-11
//
// Implementing a variant of
// the problem of Dining Philosophers
//
(* ****** ****** *)
//
#include "share/atspre_define.hats"
#include "share/atspre_staload.hats"
//
(* ****** ****** *)

staload "{$LIBATSHWXI}/teaching/mythread/SATS/mythread.sats"

(* ****** ****** *)

local
//
#include "{$LIBATSHWXI}/teaching/mythread/DATS/mythread.dats"
//
in (* in of [local] *)
//
// HX: it is intentionally left to be empty
//
end // end of [local]

(* ****** ****** *)

local
//
#include "{$LIBATSHWXI}/teaching/mythread/DATS/mythread_posix.dats"
//
in (* in of [local] *)
//
// HX: it is intentionally left to be empty
//
end // end of [local]

(* ****** ****** *)

(* end of [DiningPhil2_thread.dats] *)

Example code from Wikipedia:

#define BUFLEN 10
varĀ !p_buf with pf_buf = @[byte][BUFLEN](0)    // pf_buf = @[byte][BUFLEN](0) @ p_buf[14]
Edit

Last updated February 11th, 2019