Sure. But like TheRealPomax said, that's a different level of abstraction. If you need to be thinking in terms of Fitts' Law, and you're thinking of your code in terms of lambda calculus-level math, you're going to have a rough time.