I just love the beauty of type systems, the vast complexity and effort put into building an extensive architecture. And on the same time, systems without it are capable of wonderful things.

Just beautiful.