Higher-kinded type classes is what makes Haskell stand out above other functional languages for me. Things like endofunctors just cannot exist in virtually any other language.
Name:
Anonymous2015-04-04 12:34
>>19 They are either 1.Violating the "pure functional autism"(most likely, as unsafePerformIO popularity shows) 2.simulate dynamic structures with deep/local copies of data, "safely sharing" duplicate data or both(as your post implies). I won't read academic abstract bullshit thats useless in real life. All thats useful and practical in haskell is already done better by imperative, structured and OOP languages.