When starting a new Haskell project which needs language features that are offered by both new and older extensions, which should I use? The new one or the old one? For example:
- GADTs supersede ExistentialQuantification.
- TypeFamilies in many cases supersede FunctionalDependencies.
- etc. (if you have more examples feel free to add here)
I incline towards the newer ones as they feel cleaner and they add more features to the language in a unified manner. However, the older ones are supported by more compilers, they’re used in existing libraries and perhaps also better known among programmers.
Update: As mentioned in answers/comments, the “supersede” relationships above are not completely precise. However, I’m interested in (often occurring) cases when a task can be accomplished equally well by several extensions.
In short, yes, and for the reasons you state: cleaner and clearer.
Occasionally I’ve come across places where there’s a class better expressed as a multi-parameter type class with functional dependency because you can get more parametricity more simply that way, but usually an associated type family is a clearer and more flexible way of epressing it. Type families are much more intuitive to a functional programmer than functional dependencies.
GADTs have much cleaner, clearer syntax than existential quantification, with fewer conceptual hurdles, and it’s easy to get the behaviour you want.
I’d recommend using the new stuff if you can, and the old ways if necessary. These lovely newer extensions could do with a higher profile.