Vanessa McHale's blog (2)
  • Computing Catalan Numbers Using Dynamorphisms

    by Vanessa McHale | Programming

    I've been using Idris for a while, and today I stumbled into an example of a dynamorphism that worked so beautifully I had to share. It is a stellar example not only of dependent types but also the rĂ´le abstraction can play in writing correct code.

  • Functional Pearl: Integer Partitions and QuickCheck

    by Vanessa McHale | Haskell

    If you were on the math team during high school, you may remember integer partitions not too fondly. They're not particularly easy to get a grip on: even counting the partitions of an integer requires generating functions (which are scary when you're in high school).

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

    |