Vanessa McHale
  • Using Haskell on the Frontend

    by Vanessa McHale | Haskell

    This tutorial will give you an opinionated introduction to using Haskell on the frontend for web. To benefit, you must:

  • Linear Types in ATS

    by Vanessa McHale | ATS

    Like my last post on ATS , this is far from a full-fledged tutorial, but I think it will nonetheless be instructive to students of ATS.

  • Practical ATS

    by Vanessa McHale | ATS

    ATS is an obscure language, and perhaps justifiably so. It was exactly as I was warned (insane, idiosyncratic syntax; key features barely documented; no tutorials), but it was also beautiful, moving, and surprisingly practical.

  • Airing of the Grievances

    by Vanessa McHale | Programming

    I recently wrote a small source code counter and as part of the process I naturally ran some benchmarks to compare to the many tools that already exist. The results were somewhat erratic, but I was quite disappointed with Rust.

  • Where Imperative Languages Fail

    by Vanessa McHale | Programming

    The task is to write a program that computes Fibonacci numbers such that it is obvious the program is correct. It's a sort of "Fibonacci readable" benchmark, and I contend to there exists no solution written in an imperative style that is satisfactory.