Vanessa McHale
  • Tricks for Compilers in Haskell

    by Vanessa McHale | Haskell

    When writing a compiler, one typically annotates the syntax tree in various phases. What the nodes are annotated with will vary over the course of the program; one might add type information during a type synthesis phase.

  • A Gloss for Linear Logic

    by Vanessa McHale | Programming

    Linear logic is often introduced with unintuitive and contrived examples involving food. For computer scientists, linear logic is well motivated by memory management à la C.

  • Laconic J

    by Vanessa McHale | Programming

    One of the virtues of J is its conciseness; I think this is underrated in exploratory programming. Here I present some J one-liners alongside samples of other languages.

  • Compiler Performance in Haskell

    by Vanessa McHale | Haskell

    I stumbled across a comment by András Kovács on compiler performance, which brought up some of the difficulties writing adequate compilers in lower-level languages such as C++ or Rust.

  • Keto Is Terrible for Weight Loss

    by Vanessa McHale | Anorexia

    Recently, a preprint by Hall et al. was published: a comparison of keto and plant-based diets. The gist of it is that a low-fat plant-based diet is more satiating than keto; those eating an unlimited plant-based diet will eat less than those eating an unlimited keto diet.