3 ms·
And records can do things functions can't do. And vice versa. That alone doesn't mean records in one language are the counterpart of functions in another.
by catnaroek 11y ago
And records can do things functions can't do. And vice versa. That alone doesn't mean records in one language are the counterpart of functions in another.
- Ericson2314 11y agoHow is that relevant? I'm claiming that their exists functions in Haskell that cannot be encoded either as functor or functions in ML. (If you want, I'll try to come up with an example, but my guess would be some funny polymorphic recursion + higher-kinded types)