Vanessa McHale's blog (5)

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

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

    |