Vanessa McHale

  • Unix Meets APL

    by Vanessa McHale | awk

    Suppose we wish to inspect our PATH. Then we can make it more readable using awk:

  • Processing Compiler Errors in Jacinda

    by Vanessa McHale | awk

    GHC includes span information in compiler errors, but not in a format suitable for vim:

  • The !-modality Is a Comonad

    by Vanessa McHale | Mathetmatics

    The !-modality is a comonad. In particular, it is a functor; we can lift any function/procedure to work on perennial types with map, \( A \multimap B \vdash !A \multimap !B \).

  • Linting for Concatenative Programming

    by Vanessa McHale | Concatenative Programming

    Concatenative languages lend themselves to rewriting because they do not bind variables and thus do not incur any confusion with renaming/scope (compositional rather than applicative).

  • The Interesting Part of Monadic Effects

    by Vanessa McHale | Haskell

    Monads for effects are familiar to the Haskell programmer; they were introduced by Wadler's "Monads for functional programming" and are the accepted way to work with side effects in a lazy language.

    |