8.5. Formalism and Evolution

What value do you see in defining formal semantics for a language?

Simon: Formal semantics underwrite everything that we've done with Haskell. If you look at my publications, for example, you'll see that most papers will contain some formalism that tries to explain what's going on. Even for something as imperative as transactional memory, that paper had a formal semantics for what transactions meant.