Vanessa McHale's blog (4)

  • 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.

  • All Programming Languages Should Have Linear Types

    by Vanessa McHale | Computer Science

    Much like all dynamically typed languages are poor statically typed languages, typed functional programming languages (corresponding to intuitionistic logic) are subsumed by linear logic. Girard articulates this unity in the logical context. Let us gloss the functional programming side of things.

  • Sed Examples in Jacinda

    by Vanessa McHale | Jacinda

    The GNU sed manual offers the following to join backslash-continued lines:

  • Num Instances for ASTs

    by Vanessa McHale | Haskell

    One can define a Num instance in Haskell for ASTs of expressions, viz.

    |