Firstly, I'm not sure what audience you had in mind when you wrote this. If it's Haskell programmer, then I think it's too detailed. If not, I think it's not detailed enough (but it does include all sorts of words/concepts a non-Haskell programmer won't understand).
I think a shorter article, focused on less features would have been better (or a series of articles). It feels to me like you could talk in length about each of these features, and the article is both too long because of so many features, but too short in each specific feature.
Finally and most importantly, what you're really missing is code examples in other languages. You mentioned doing this, and I agree 100%. That would make your article much easier for someone like me. Although I vote the examples be in Python :)
Or make up some pseudo-code-y language. I.e. this is how it could look like in Java, if it included this awesome feature with some syntax I just made up for it.
(I like Python more in general, but I am not sure, if you can demonstrate some of the static goodness of Haskell-analogies in it. Polymorphism on return types is awesome, but not real imaginable in Python, but barely imaginable in Java.)
Firstly, I'm not sure what audience you had in mind when you wrote this. If it's Haskell programmer, then I think it's too detailed. If not, I think it's not detailed enough (but it does include all sorts of words/concepts a non-Haskell programmer won't understand).
I think a shorter article, focused on less features would have been better (or a series of articles). It feels to me like you could talk in length about each of these features, and the article is both too long because of so many features, but too short in each specific feature.
Finally and most importantly, what you're really missing is code examples in other languages. You mentioned doing this, and I agree 100%. That would make your article much easier for someone like me. Although I vote the examples be in Python :)
I'm looking forward to your next post!