#haskell

Haskell type inference appears to diagnose an infinite loop at compile time, but what’s really happening?

Functional logfile processing.

Discarding unused external modules.

Cracking the monads.