Programming with Patterns