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.
I saw a recent Advent of Code problem, and I was a bit surprised to see that part 1 was basically what I had been working on with my permutations library for Idris.
Three examples of recursion schemes drawn from mathematics, showing the use of linked lists as control structures.
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.
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!
prev | next