Vanessa McHale
  • Laconic Haskell

    by Vanessa McHale | Haskell

    Haskell programmers have an undue reputation for writing obfuscated code, perhaps due to the fondness for pointfree code and higher-order functions. However the commitment to terseness is dubious at best; syntax is rarely exploited.

  • Compiling Functions to Jumps

    by Vanessa McHale | Compilers

    Functions are compiled to machine by a convention of jumps and registers; one calls a function by jumping to its location in memory. These jumps are relative and particular functions (say, malloc) may be loaded at different memory locations, so the machine code for a function cannot be pinned down and in fact is contingent on every function that it calls.

  • Basic Blocks À La Appel

    by Vanessa McHale | Compilers

    Building a respectable compiler requires basic blocks in order for liveness analysis to be performant. Consider my own Apple compiler:

  • Elliptic Fourier Series in Apple

    by Vanessa McHale | Vector Languages

    I previously wrote about typing elliptic fourier series; my Apple compiler is now capable of computing the offsets and also the relevant coefficients.

  • Rosetta

    by Vanessa McHale | Vector Languages

    To compute a 7-day moving average:

    |