Vanessa McHale
  • Haskell Aphorisms

    by Vanessa McHale | Haskell

    Aphorisms in Haskell, using only functions in base and with a particular bend towards showing the use of lists for control flow. Many of these are adapted from here.

  • Variations on a Theme

    by Vanessa McHale | Haskell

    A set of curated examples meant to show Haskell's expressiveness, wherein we write a sum function many times:

  • Performant Elgot Algebras

    by Vanessa McHale | Programming

    As you may have read in one of my past posts or elsewhere, performance across languages can be complicated, and it's not always as obvious as you'd expect.

  • Why Lenses Work

    by Vanessa McHale | Programming

    I came across the idea to use \(F\)-(co)algebras to encode general constructors and destructors when reading Martin Erwig's paper on synchromorphisms.

  • Computing Continued Fractions With Apomorphisms

    by Vanessa McHale | Programming

    The modern theory of continued fractions comes from Christiaan Huygens, a Dutch physicist who invented the pendulum clock. Continued fractions turn out to be an especially elegant way of finding rational approximations of a number; this enabled him to design clocks with small gears that nonetheless provided the desired degree of accuracy.

    |