What is Reddit's opinion of Lazy Functional Languages: Abstract Interpretation and Compilation (Research Monographs in Parallel and Distributed Computing)?

From 3.5 billion Reddit comments

Generally speaking, type theory isn't a field of mathematics, it's a field of theoretical computer science. There's a lot of maths that gets used in type theory, but few mathematicians (who aren't computer scientists) know much about it. So are you actually looking for the maths (domain theory, universal algebra, category theory,...) or are you just looking for the type theory?

For domain theory as applied to lazy functional languages I'd highly recommend Geoffry Burn. It gives a good intro to domain theory and also highlights some of the more mathematical issues of what it means to compile lazy languages.