Because things aren t always black and white
I ve been trying to make a point of not talking about stuff that I m doing and concentrating on actually delivering. I find that this avoids a sense of false progress , which is why I finally get to talk about something I ve been working on for the last three months. Or more accurately, Codex on the Continue reading cljs-ajax 0.9.0-beta1 is out
So my friend Steve wrote a long article on why he doesn t like nulls in C#, and I promised him a good fisking so, of course, the first thing I did last night was to fire up the Ms Marvel finale. It s very good. This was following by a mini-marathon of black-ish episodes (it s also Continue reading Nullable Reference Types are FINE, and here s why
So, one of those dear people on Twitter who have been trying and failing to be Twitter s Main Character for years published a rant about post-modernist programming. Now, let s leave aside the fact that they ve literally created a fictional concept that sounds like it s from a dril tweet to get angry about. Let s actually engage Continue reading In Praise of Postmodernist Programming
So my domain name just renewed and entertainingly charged my wife s credit card (I have no recollection as to how exactly that happened.) and since I haven t posted in three years I figured it might be time I actually justified the blog s existence. Also, frankly, I ve been on something of a polemic tear for several Continue reading Don t Write a Programming Language
I’m writing this down before I forget because it’s really cool. Imagine you have the following code g a b = (show a) ++ (show b) h = (+5) f x = g (h x) x And you run f through pointfree, because you enjoy being made to look stupid. It’ll print Continue reading An Illustrated Reader
I remarked last time that I’d wanted to write up a good example of using the recursion-schemes library to solve a computational problem in Advent of Code. However, as previously discussed, I found a more appropriate way of solving Day 7. However, it turns out that Day 24 has an elegant solution with a hylomorphism Continue reading A Simple Hylomorphism Example
TL;DR; Haskell can process flat files as though they were hierarchal with the help of lazy evaluation and one ridiculously clever one-line function. When working on Day 7 of the Advent of Code, I asked an innocuous question on r/haskell that led me down an extremely deep rabbit hole. The first part of the problem Continue reading Marvellous Moeb
Spelling mistakes are cognitive noise. Everyone makes them, but you d be hard pressed to find any obvious ones in the average word document for a simple reason: Word s got a spell checker. So, for that matter, has Firefox. In general terms, if you re writing English text, a spell checker s got you covered. So, what s the Continue reading Why Your Code Has Lots of Spelling Mistakes
Last time, I was looking into establishing equality on various conditions on Wai.Request, but established that this wasn t what I was looking for. We did, however, establish how to perform casts and use polymorphic lists in a fashion that s quite OO. Now I m planning to drive right off road and try a bit of type-level Continue reading Haskell: More about TypeClasses and QuickCheck
TL;DR I continue trying to implement a routing library, but instead end up learning about Typeable, writing about orphan instances, reading and (so far) failing to understand type-magic and sending my first Haskell PR. I remember when I was starting Clojure, one of the big catchphrases was that everything was opt in. A type system, Continue reading Principled Casts in Haskell