ATS
  • Using Templates in ATS

    by Vanessa McHale | ATS

    ATS is known for its sophisticated type system, but it also has a template system that has been the focus of recent work. Rather than going into technical details or comparing templates to other forms of generic programming, I wanted to give an example.

  • For Loops and GCC vs. Hand-optimized Rust

    by Vanessa McHale | ATS

    Suppose we want to count the number of lines in a file. Rust has a crate that would seem to help us, namely, bytecount.

  • Performance Implications of FP in ATS

    by Vanessa McHale | ATS

    Here I would like to present benchmarks associated with my past post comparing different methods of summing the first \( n \) numbers. In each case, we benchmarked sum(200), that is, \( \sum_{i=1}^{200} i \).

  • Variations on a Theme II

    by Vanessa McHale | ATS

    A set of curated examples to show ATS' capacities for functional and imperative programming, wherein we sum the numbers \(1..n\) many times:

  • Edit Distance in ATS

    by Vanessa McHale | ATS

    As ATS remains a somewhat obscure language, I figured I'd write up a recent success and give some commentary on some advanced features of ATS.