>>10
You are a retard vomiting back the posts of whatever FP kool-aid drinking blogger you read. You have no measurable experience in functional programming.
Let's say you build a compiler in Haskell. All functions are pure, except of course main which is in an IO monad. Now, tell me how exactly you're going to 'easily prove correct' anything at all.