And there was the sort of famous (at least in Scala circles) rant by Paul Philips about how insanely dumb the compiler is, how slow and unhelpful, as it builds up all the structures from scratch every time, just to throw a syntax/type/other error, instead of keeping the state and only processing the delta (the changes and the minimal related nodes in the tree).

So (type aware) programming should be a conversation with the compiler, trying to prove more and more about the code, while trying to clarify the intentions of the programmer.

FWIW, this has nothing to do with BSP and it's also not true technical wise.