Vanessa McHale
  • Lessons from Writing an Array Compiler II

    by Vanessa McHale | Compilers

    I just finished adding another mid-end to my Apple JIT compiler, motivated to get rank facilities right. However, there remain significant shortfalls.

  • Statically Typed Interactive Array Languages: a Manifesto

    by Vanessa McHale | Vector Languages

    I implemented the Apple array system with the aim of tidying up some of the shortcomings of J, with which I am familiar.

  • Testing Is Orthogonal to Correctness

    by Vanessa McHale | Computer Science

    Testing is widespread in programming, but correctness in programming is mostly assured by construction. Testing prods a "black box"; this is appealing in that libraries are presented to users as black boxes, but, as we shall see, it is limited in what it can accomplish for deep logical reasons.

  • Functional Compilers That Stand Toe-to-toe With C's Object Files: a Manifesto

    by Vanessa McHale | Computer Science

    There are some ways that functional programming languages still lack when compared to C; in particular they fail to export their constructs for use in other languages.

  • Extracting Compiler Version from Compiled Binaries Using Jacinda

    by Vanessa McHale | Jacinda

    Compilers and linkers put their own version information in ELF binaries; we can inspect with readelf on the .comment section, to wit: