ATS
  • 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.

  • Cross-compiling ATS

    by Vanessa McHale | ATS

    I am happy to announce that atspkg now has experimental support for cross-compiling! I will give a short illustration of how this works using my own project, polyglot.

  • ATS in Haskell Packages

    by Vanessa McHale | ATS

    I've been doing some more work with atspkg and polyglot builds. It is now in slightly better shape, and it gives us the ability to call ATS code in Haskell almost painlessly.