Vanessa McHale
  • Compiler Optimizations for Functional Languages

    by Vanessa McHale | Programming

    A question in compiler design is: what optimizations should a given compiler perform? Optimizations for functional languages in particular are not well-known; it is not obvious which optimizations will provide the greatest speedup on user code.

  • A Case Study in Dhall for Package Configuration

    by Vanessa McHale | Haskell

    cpkg is now live on Hackage. It is a good deal less polished than I'd originally wanted, but it already gives impressive results (among them cross-compiling XMonad).

  • There Are Two Monadic Zygomorphisms

    by Vanessa McHale | Haskell

    The "obvious" way to write a monadic zygomorphism is to look at the definition for an ordinary zygomorphism, namely

  • Termination Checking Is Theorem Proving

    by Vanessa McHale | Programming

    The totient function is defined for positive integers as:

  • Projective Programming

    by Vanessa McHale | Haskell

    I read a recent Functional Pearl by Hinze and this inspired me to write up an example of projective programming and its motivation in logic/model theory.