Type Theory and Functional Programming (1999) [pdf] (cs.cornell.edu)

Is it a good material to dive into this topic today?

Why is type theory always tied to functional programming? Wouldn't it be possible to use some of the ideas in imperative languages?

I think in the end step by step functional programming will be widely adopted. Concepts that have a strong theory behind them tend to last longer. Similar to how relational databases and SQL are still the gold standard today.

Is this book available in print version anywhere? I am unable to find it except for a used hardcover.

[dead]

Man I hate functional programming so much. Please, to anyone reading this. Don’t waste your time on this stuff. They always try to claim functional code makes things safer and more elegant, but I have never seen that in reality. These ideas seem to produce terrible code first and foremost.