Vanessa McHale's blog (23)
  • Reading a File in ATS

    by Vanessa McHale | ATS

    I figured I'd post this as ATS is quite difficult. Nothing contained in this file is advisable, but by the time you can figure out what's wrong, you won't need it!

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

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

    |