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

  • Advice for Haskell Beginners

    by Vanessa McHale | Haskell

    This was inspired by Gabriel Gonzalez's post, so you may wish to read that first.

  • Outperforming Rust With Functional Programming

    by Vanessa McHale | ATS

    Functional programming often gets criticized as being slow, so I wanted to present an example where it is in fact several times faster than the equivalent imperative code1.

  • Permutations in Idris

    by Vanessa McHale | Idris

    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.