3 ms·
As an F# developer with just enough category theory to follow along, I think this is really great. I find the workaround for existential types in .NET particul
by brianberns 7y ago
As an F# developer with just enough category theory to follow along, I think this is really great.
I find the workaround for existential types in .NET particularly interesting, but it seems so verbose. Is there no way to do it with plain functions in order to avoid all the explicit type signatures?
- Smaug123 7y agoThanks! I'm afraid I don't know of any way to make the existential types hack neater. If you find one, I'm all ears! There is an issue open with the F# compiler (https://github.com/fsharp/fslang-suggestions/issues/567 https://github.com/fsharp/fslang-suggestions/issues/567) to allow higher-ranked types, but there are (well-founded) objections that this could be a pretty big jump in language complexity.