Title: Effective Theories in Programming Practice