Notes on test coverage

Posted on Wed 17 October 2018 in misc • Tagged with haskell, testing, coverage, notes

These are a few quick notes to self, rather than a cogent thesis. I want to get this out while it’s still fresh, and I want to lower my own mental barrier to publishing here.

I’ve been thinking about test coverage recently, inspired by conversations that followed DRMacIver …


Continue reading

SPAKE2 in Haskell: How Haskell Helped

Posted on Fri 13 October 2017 in misc • Tagged with haskell, spake2

Porting SPAKE2 from Python to Haskell helped me understand how SPAKE2 worked, and a large part of that is due to specific features of Haskell.

What’s this again?

As a favour for Jean-Paul, I wrote a Haskell library implementing SPAKE2, so he could go about writing a magic-wormhole client …


Continue reading

SPAKE2 in Haskell: What is SPAKE2?

Posted on Sun 04 June 2017 in misc • Tagged with haskell, cryptography, spake2

Last post, I discussed how I found myself implementing SPAKE2 in Haskell. Here, I want to discuss what SPAKE2 is, and why you might care.

I just want to send a file over the internet

Long ago, Glyph lamented that all he wanted to do was send a file over …


Continue reading

SPAKE2 in Haskell: the journey begins

Posted on Sat 27 May 2017 in misc • Tagged with haskell, cryptography, spake2

There’s a joke about programmers that’s been doing the rounds for the last couple of years:

We do these things not because they are easy, but because we thought they would be easy.

This is about how I became the butt of a tired, old joke.

My friend …


Continue reading

Announcing haskell-cli-template

Posted on Tue 31 January 2017 in misc • Tagged with haskell

Last October, I announced servant-template, a cookiecutter template for creating production-ready Haskell web services.

Almost immediately after making it, I wished I had something for building command-line tools quickly. I know stack comes with a heap of them, but:

  • it’s hard to predict what they’ll do
  • adding a …

Continue reading

Announcing graphql-api: Haskell library for GraphQL

Posted on Mon 30 January 2017 in misc • Tagged with haskell, graphql

Late last year, my friend Tom tried to convince me that writing REST APIs was boring and repetitive and that I should give this thing called GraphQL a try.

I was initially sceptical. servant, the REST library that I’m most familiar with, is lovely. Its clever use of Haskell …


Continue reading