Blog

Below is a list of blog posts I've written. You can also use this RSS feed.

A quick post moaning about how MSVC ignores C's enum underlying type semantics. Read more.

If you haven't played the game yet, I highly recommend you do. The game will be scary. Despite enjoying horror games, I get scared very, very, easily. That said, I could cope fine with this game. If you're looking for horror, then this may be a little disappointing. But the story here is amazing. If it was a different genre, say, a visual novel or strategy game, I would still recommend it just for the story. The gameplay is very good too. It reminds me of an evolution of Iron Lung. Read more.

Most commonly-used programming languages don't use a well-known algorithm for their type inference. A few languages use Hindley-Milner type inference, such as Rust, Haskell, and F#.

Another algorithm which isn't used by any popular languages (to my knowledge) is called bidirectional type inference. In contrast to Hindley-Milner, it's supposed to be easier to implement and gives better error messages with the drawback of being more difficult to understand and to start with.

Recently, I was writing a Haskell program which used the permutations function. I wanted to convert my code to Rust for fun, but I realised that Rust's standard library didn't come with such a funciton. That makes sense, since it's not commonly used for Rust programs, especially since a non-lazy version only works for small lists. Read more.