Inspirational Discussions

Google loses my starred threads on haskell-cafe constantly. So from now on I keep track of them here.

Fast equality test

Safe and generic printf

Clean vs. Haskell

Strict Monad

Runtime strictness analysis for polymorphic HOFs

Why can't we make an instance declaration on a type synonym?

Lawless instances of Functor

Understanding Monadic I/O

Lazy languages on JVM/CLR

Metaprogramming in Haskell vs. Ocaml

An interesting type inference question

String, Data.Text, Data.ByteString

learning advanced haskell

Annotating ASTs

Executables size


Verification and proofs

Serialization and deserialization of functions

Bracket around every IO computation monad