A set of curated examples to show ATS' capacities for functional and imperative programming, wherein we sum the numbers \(1..n\) many times:
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.
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.
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.
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.
prev | next