In Haskell it's generally considered bad form to omit type annotations for your top-level functions. There is even a compiler warning for this sort of thing. Thankfully, the Haskell plugins for good editors (vim or emacs) provide hotkeys to automatically insert an inferred type annotation for a function you specify.

It's naked-looking without them. Valid, but all the documentation is hidden.

Yeah this mysterious "typed haskell" thing seems to imply that the other version doesn't have types, while of course they are inferred.

The source he posted on Github calls it 'annotated'[1]. I'm guessing it was just a poor choice of word.

[1] https://github.com/logaan/typed-game-of-life/blob/master/src...

You're correct. Annotated was just too many characters to fit inside the columns I used for the thumbnail view.

I'm not so proficient a developer that I could write any amount of Haskell code without being acutely aware of its statically typed nature.