Vanessa McHale's blog (4)
  • 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.

  • Compiler Technologies behind Logics

    by Vanessa McHale | Computer Science

    As I wrote elsewhere, garbage collection - manual memory management correspond to intuitionistic logic - linear logic. So garbage collection is a technology with logical implications.

  • Shoelace Iteration

    by Vanessa McHale | J

    Suppose we wish to compute successive differences. In J:

  • Adequate J Matrix Performance

    by Vanessa McHale | J

    I adapted the xor example here from Python; they used NumPy.