Effective Theories in Programming Practice