Vanessa McHale
  • Functional Stream Processing on the Unix Command-line

    by Vanessa McHale | Jacinda

    To find the latest Python version, we can use Jacinda to scan HTML with regex, viz.

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

  • Python (NumPy) Provides Good Performance for Scientific Computing

    by Vanessa McHale | Vector Languages

    Python's popularity in science has been a source of puzzlement, particularly because of its performance problems. To the extent that scientific code has acceptable performance, it is attributed wrappers around C or Fortran code. However, I would like to point out that NumPy provides a core that succeeds for the same reason that APL interpreters written in C have found success, namely, it is performant when dealing with vector operations. This permits nontrivial scientific computation.

  • Linear Types for Manipulating Expressions in the Lambda Calculus

    by Vanessa McHale | Computer Science

    If we wish to preserve global uniqueness of names during \(\beta\)-reduction, we have to \(\alpha\)-rename before each substitution. Consider: