... just like Euclidean geometry, it was created by a geometer for "internal usage". I am not contesting the usefulness of lambda calculus in academic contexts!

... just like Euclidean geometry, it was created by a geometer for "internal usage". I am not contesting the usefulness of lambda calculus in academic contexts! I am just saying that lambda calculus is not the best approach in an engineering context, because it's too abstract, just like in practical terms, I see little use of Euclidean geometry in proving new theorems.