There’s an example of the usefulness of this in a older than the current version of a functional programming library fp-ts.
It’s called declaration merging and it was used in that library, that implements higher kinded types, to extend those types.
Has I explained this particular feature was used extensively in V1, but I think that is no longer the case due to the way the library is now structured.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
There’s an example of the usefulness of this in a older than the current version of a functional programming library fp-ts.
It’s called declaration merging and it was used in that library, that implements higher kinded types, to extend those types.
Can you please point me to the code (link to the file/commit in github)? I want to understand it better
Yes, you can have a look here:
github.com/gcanti/fp-ts/tree/1.x
Has I explained this particular feature was used extensively in V1, but I think that is no longer the case due to the way the library is now structured.