Making declarative programming sexy again