Vanessa McHale's blog (16)
  • 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.

  • Euler's Totient Function in ATS

    by Vanessa McHale | ATS

    Here I present two ways to write Euler's totient function in ATS. First we write our primality check:

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

  • Advanced Control Flow

    by Vanessa McHale | Programming

    Three examples of recursion schemes drawn from mathematics, showing the use of linked lists as control structures.

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

    |