All fields have quirks but I think software has among the fewest quirks, and at least software is very aware of its own quirks and tries to fix them. Law, medicine, or literature are by far more quirky subjects of study, areas of study which will never be amenable to the lens of something as simplifying as the lambda calculus.