What is the syntax for constructing a list-value in ATS?

Question

For instance, how can I construct a list consisting of all the digits: 0, 1, 2, 3, 4, 5, 6, 7, 8, and 9.

Answer 1

You can construct it with val xs = ($list {int} (0, 1, 2, 3, 4, 5, 6, 7, 8, 9)).

Make sure you specify the correct memory allocation functions by passing -DATS_MEMALLOC_LIBC to the compiler when using this code.

Answer 2

If you compile to JavaScript via atscc2js, then you need to construct the list in the following manner:

val ds =
  0::1::2::3::4::5::6::7::8::9::nil{int}()
// end of [val]

It also works for targeting C.

There are also combinators for this sort of things. For instance,

val ds = (10).list_map(TYPE{int})(lam(i) => i)
val ds = list_tabulate_cloref<int>(10, lam i => i)

Answer 3

You can find special literal on emacs mode:

https://github.com/githwxi/ATS-Postiats/blob/653af81715cf6bfbd1d2cd5ece1e88c8c3912b4a/utils/emacs/ats2-mode.el#L287

(defvar ats-special-keywords
  '("$arrpsz" "$arrptrsize" "$delay" "$ldelay" "$effmask" "$effmask_ntm" "$effmask_exn" "$effmask_ref"
    "$effmask_wrt" "$effmask_all" "$extern" "$extkind" "$extype" "$extype_struct" "$extval" "$lst"
    "$lst_t" "$lst_vt" "$list" "$list_t" "$list_vt" "$rec" "$rec_t" "$rec_vt"
    "$record" "$record_t" "$record_vt" "$tup" "$tup_t" "$tup_vt" "$tuple" "$tuple_t"
    "$tuple_vt" "$raise" "$showtype" "$myfilename" "$mylocation" "$myfunction" "#assert" "#define"
    "#elif" "#elifdef" "#elifndef" "#else" "#endif" "#error" "#if" "#ifdef"
    "#ifndef" "#print" "#then" "#undef" "#include" "#staload" "#dynload" "#require"))

If you find some keyword, you can easily know how to use it on doc/EXAMPLE/ directory:

$ git clone https://github.com/githwxi/ATS-Postiats.git
$ cd ATS-Postiats/doc/EXAMPLE
$ grep -r "\$list" . | head
./MISC/word-chain.dats:  $list{word}("", "")
./MISC/word-chain.dats:  $list{word}("", "")
./MISC/mysendmailist.dats:$list{string}
./MISC/monad_list.dats:  $list{a}("this", "that", "a")
./MISC/monad_list.dats:  $list{a}("frog", "elephant", "thing")
./MISC/monad_list.dats:  $list{a}("walked", "treaded", "grows")
./MISC/monad_list.dats:  $list{a}("slowly", "quickly")
./ATSLF/CoYonedaLemma.dats:val myintlist0 = g0ofg1($list{int0}(I(1), I(0), I(1), I(0), I(0)))
./ATSLF/YonedaLemma.dats:  $list{bool}(True, False, True, False, False)
./ATS-QA-LIST/qa-list-2014-12-07.dats:$list{double}(0.111111, 0.222222, 0.333333)

Answer 4

For a list0-value, you can do

val xs = g0ofg1($list{T}(x1, ..., xn))

where T is the type for the elements in xs. For instance,

val some_int_list = g0ofg1($list{int}(0, 9, 8, 7, 3, 4))