2 ms·
To be clear, I'm not meaning to criticize, just understand my confusion and explore terminology. I agree with your starting point, but to my mind type classes
by dllthomas 11y ago
To be clear, I'm not meaning to criticize, just understand my confusion and explore terminology.
I agree with your starting point, but to my mind type classes are precisely a way to "make [types] implement an interface". I completely agree that it is often impractical to do so by defining new types.
I'll address the rest when I have a little more bandwidth - I hope you'll forgive me; between interesting projects at work, a new baby, and holiday goings on, attention is in high demand.
- nrinaudo 11y agoI didn't realise hn threads could go so deep. I understand that we're not arguing, and find the conversation interesting: I approach it from the point of view of someone who was mostly taught OO (and learned whatever CS theory he knows by himself), where you seem to have a more solid FP and theoretical background and entirely different viewpoint. As a new father myself, I absolutely understand that free time is scarce. Enjoy your baby and holidays!