what are the value of formal models?

Question

(in programming language..)

Answer 1

A formal model gives you a basis for proving theorems. For example, the lambda calculus is a very small formal model that allows you to prove (or disprove) ideas without having to consider many different possibilities in the language. Try proving undecidability in C++ ...