Vanessa McHale
  • Theorems vs. Algorithms

    by Vanessa McHale | Computer Science

    Functional programmers vaunt the Curry-Howard(-Lambek) correspondence, as if it endorses the lambda calculus. In fact, it shows the limitations of computer science.

  • Laziness, A.k.a. Computer Science

    by Vanessa McHale | Computer Science

    An established problem in functional programming is the question of evaluation order (see Hudak, ยง2.2). Haskell offers seq; which allows the programmer to magically introduce dependencies in evaluation order and thence subvert lazy evaluation. Sometimes this is necessary; see the foldl foldl' example.

  • Unix As an IDE II

    by Vanessa McHale | Jacinda

    nm shows symbols defined in an executable. GHC includes library name in symbols, so we can use this to inspect libraries that make it into the compiled binary. GHC uses z-encoding so we pipe the output of nm into an ad-hoc invocation of sed, viz.

  • The Unix Command-line As an IDE

    by Vanessa McHale | Jacinda

    GHC embeds linker flags into the final ELF binary:

  • Utility of AWK

    by Vanessa McHale | Jacinda

    I turned to my own Jacinda to view the output of otool and was pleasantly surprised.