Software Engineering discussion

So far, this chapter was my least favorite. ML broke ground in strong type checking and inference, which forms the foundation of languages like Haskell. However, I do not have a strong background or interest in programming language and model theory or theorem provers. It was, though, interesting to read the thoughts about the intersection (or lack thereof) between theory and real world languages and models.

I was reading the latest issue of Communications of the ACM, and I saw a news item that Robin Milner, the ML creator interviewed in this chapter, died on March 20.

The abstract discussions interest me, but I find them very difficult to apply to real life work: business needs and value add.

There were a few topics mentioned that I don't know much about, but it's nice to get some familiarity to them: Pi and Lambda-calculus.