I upvoted you for the IO part of your comment, but contend purity is a very big feature. More focus needs to be on reasoning about real world tasks where is ne

I upvoted you for the IO part of your comment, but contend purity is a very big feature. More focus needs to be on reasoning about real world tasks where is needed though.