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

  • Performance Implications of FP in ATS

    by Vanessa McHale | ATS

    Here I would like to present benchmarks associated with my past post comparing different methods of summing the first \( n \) numbers. In each case, we benchmarked sum(200), that is, \( \sum_{i=1}^{200} i \).

  • Variations on a Theme II

    by Vanessa McHale | ATS

    A set of curated examples to show ATS' capacities for functional and imperative programming, wherein we sum the numbers \(1..n\) many times:

  • Curry vs Uncurry on Hackage

    by Vanessa McHale | Haskell

    This post was inspired by a curious question on Twitter: is curry or uncurry more common in Haskell code?

  • Polyglot Is the Fastest Code-counting Tool Available

    by Vanessa McHale | Programming

    As you may know, I have been working on polyglot for some time now. It is now the second-most popular ATS project on github0 and it has reached a state of relative maturity.