ATS
  • Speeding up Math With ATS

    by Vanessa McHale | ATS

    I started work on my ATS math library recently; though I'm not sure it will be a wholehearted success, there were parts that deserve attention.

  • Outperforming Rust With Functional Programming

    by Vanessa McHale | ATS

    Functional programming often gets criticized as being slow, so I wanted to present an example where it is in fact several times faster than the equivalent imperative code1.

  • Rewrite It in ATS

    by Vanessa McHale | ATS

    In this tutorial, we reimplement several of wc's features in ATS. The core logic (as we shall see) is relatively simple, and we end up with something that's competitive with C with relatively little effort.

  • Reading a File in ATS

    by Vanessa McHale | ATS

    I figured I'd post this as ATS is quite difficult. Nothing contained in this file is advisable, but by the time you can figure out what's wrong, you won't need it!

  • Linear Types in ATS

    by Vanessa McHale | ATS

    Like my last post on ATS , this is far from a full-fledged tutorial, but I think it will nonetheless be instructive to students of ATS.

    |