4 ms·
Anyone know if there's a formal name for this situation/problem? Thanks for the clear explanation BTW.
by seagreen 12y ago
Anyone know if there's a formal name for this situation/problem?
Thanks for the clear explanation BTW.
- tel 12y agoYou probably would have good vocabulary for this in the ML family languages. You're essentially talking about existential type mismatching—a core component of how modules work in ML family languages. It's just hard to read that into Haskell since "modules" are not as well represented in-language and exist somewhere between Haskell-the-language and Cabal-the-package-manager/ecosystem.
- munificent 12y agoI don't think there's a well-known name for it. I'd call it something like a "non-encapsulated dependency".