Languages such as Haskell, Erlang, Miranda, and Mercury fascinate me, although I often get a kick out of esoteric, experimental, or otherwise ???hipster??? languages like Unlambda (based on combinators), INTERCAL (originator of the come from construct), and Charity (which sacrifices Turing-completeness for guaranteed termination).