Nauths

On the “haskellquestions” subreddit, a user recently asked for some help with monads in Haskell.

I have recently released my first video essay!

Last Wednesday, on Twitter, @TechnoEmpress posted a purposefully horrible solution to the following problem: given two types a and b, how does one test that type a is contained in type b?

I’m currently trying to validate a method I’ve found that allows a C++ library writer to do double dispatch via a visitor that also supports user-defined types (hence the “open”).

Haskell’s typeclasses are somewhat akin to what object oriented languages call interfaces or abstract classes: they define a “contract”, sometimes offer a default implementation, and even share some common vocabulary: a type that is an instance of a typec…

A few weeks ago, I proudly released the 1.0.0-alpha version of MCL and updated the Projects page of this site accordingly , disregarding my resolution to release existing projects rather than work on new ones.

There are many topics I’d like to broach here… In order to start the writing process anew, a first, small, easy post.