# blog

ATS
• ## Variations on a Theme II

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

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

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

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.

• ## Using Dhall in ATS

As astute followers of this blog will know, I have been working on several ATS packages for Haskell; here I would like to present the fruits of these labors: the ability to use Haskell's Dhall library in ATS.

|