Flavors (computer science)