Programming
  • A Look at the Packages on Hackage

    by Vanessa McHale | Programming

    Initially, I had written hackage-fetch to see if there was any use of coelgot anywhere on Hackage. At the time, there was not, but this has changed due to my gmpint package. As of writing, it is not surprisingly the only use of co-(Elgot algebra)s on the entirety of Hackage.

  • Using ATS Libraries in Haskell

    by Vanessa McHale | Programming

    I've talked about polyglot ATS/Haskell builds previously, but I wanted to show off the results of all this work without so much didactic focus.

  • Some Examples and Non-examples of Monads

    by Vanessa McHale | Programming

    Some examples and non-examples of monads.

  • Advanced Control Flow

    by Vanessa McHale | Programming

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

  • Airing of the Grievances

    by Vanessa McHale | Programming

    I recently wrote a small source code counter and as part of the process I naturally ran some benchmarks to compare to the many tools that already exist. The results were somewhat erratic, but I was quite disappointed with Rust.