3 ms·
http://stackoverflow.com/questions/21170493/when-are-higher-kinded-types-useful/21174565 http://stackoverflow.com/questions/21170493/when-are-higher-... Also,
by daxfohl 10y ago
http://stackoverflow.com/questions/21170493/when-are-higher-kinded-types-useful/21174565 http://stackoverflow.com/questions/21170493/when-are-higher-...
Also, my practical-oriented blog posts on the topic in .net (referenced in my own answer on that page):
http://www.sparxeng.com/blog/software/an-example-of-what-higher-kinded-types-could-make-possible-in-c http://www.sparxeng.com/blog/software/an-example-of-what-hig...
http://www.sparxeng.com/blog/software/higher-kinded-fun-in-haskell http://www.sparxeng.com/blog/software/higher-kinded-fun-in-h...
- chowes 10y agoThat first blog post of yours was great, FYI - exactly what I was looking for.
- daxfohl 10y agoA simpler example would be say amplifying a signal functor. In Haskell, let amplify x f = fmap (x *) f amplify 2 [1,2,3] >> [2,4,6] cos pi >> 1.0 let doublecos = amplify 2 cos doublecos pi >> 2.0 You can't do anything that operates so generically in a language without HKTs. All that said, I don't find them all that useful in day-to-day work.