Hacker News new | past | comments | ask | show | jobs | submit login

I'd say no, given that no language with HKT has ever been popular (sorry Haskell, you're cool, but not “popular”)…



I was going to object, but in doing my own research I found that Haskell ranked even below Dart in the SO Developer Survey for languages in use - and I certainly wouldn't consider Dart popular, since I've never seen, let alone met, anyone using it.

That said, "popular" is a very contextual term. Within certain classes of programmers (and I don't mean the obvious tautological one) Haskell is extremely popular, and fit for purpose. I assume the same is true for Dart.

And I would add that, in those circles, the introduction of advanced HKT features like RankNTypes has been extremely successful.


Dart is seeing a bit of interest thanks to Flutter, the cross-platform UI toolkit.


template template parameters and nested template classes work as HKT in C++ in practice (and are extensively used for exactly that purpose), and I think C++ counts as a popular language.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: