3 ms·

> Yes. Why not? ...because I think you'd write mathematical history if you can prove it? > You're approaching this conversation with your own preconceived not

> Yes. Why not? ...because I think you'd write mathematical history if you can prove it? > You're approaching this conversation with your own preconceived notions about what the words mean... Peak meta, yes! > ...to force your preferred usage of the words on other people. Listen, currying is a defined term[0], as is partial application[1]. Those are primarily mathematic definitions, and your choice of words "...is a subset of..." is also stemming from a rather mathematical terminology if you'd ask me. Therefor its interpretation will primarily be itching logical intelligence. Currying can be implemented by making use of a partial application, and partial application can be implemented by making use of currying a function. Neither one is a subset of the other and both are higher-order functions. It was your choice of words with which you formed your statements, and no, I'm not going to discuss visual, linguistic, interpersonal, intrapersonal or naturalistic understandings with you on Hacker News about your intentions, I'm truly sorry. Your point "about the concept of currying" doesn't exist (yet AFAIK), feel free to imagine whatever higher concept you desire. Even the confusion between currying and partial application is well known[2][3] and also documented on Wikipedia - you put in a prime example out of the confusion, thank you. You still double down on false statements, fine, use your languages however you want and feel free to interpret "I think you confuse currying with partial application." as a behavioral problem. It's truly amazing. [0]: https://en.wikipedia.org/wiki/Currying https://en.wikipedia.org/wiki/Currying [1]: https://en.wikipedia.org/wiki/Partial_application https://en.wikipedia.org/wiki/Partial_application [2]: http://lambda-the-ultimate.org/node/2266 http://lambda-the-ultimate.org/node/2266 [3]: https://www.uncarved.com/articles/not-currying/ https://www.uncarved.com/articles/not-currying/

kerkeslager 3y ago
> ...because I think you'd write mathematical history if you can prove it? No, because this is an informal conversation not a mathematical paper. Clearly you understand what is meant if someone says that subtraction is a subset of addition. You also clearly understand they're not saying it as a statement of proof. If you can understand someone well enough to correct their usage of words, you understand them well enough that they communicated successfully. So why create a problem? > Listen, currying is a defined term[0], as is partial application[1]. Those are primarily mathematic definitions, and your choice of words "...is a subset of..." is also stemming from a rather mathematical terminology if you'd ask me. Therefor its interpretation will primarily be itching logical intelligence. Yes, I'm well aware, I just don't care. People use words outside their dictionary definitions all the time and if we understand it, it doesn't matter. Perhaps you should look up the word pedant? Dictionary authors are well aware of the pitfalls of relying on definitions as prescription rather than description. > I'm not going to discuss visual, linguistic, interpersonal, intrapersonal or naturalistic understandings with you on Hacker News about your intentions, Well, that's your prerogative, but I'll note that you haven't said anything interesting about currying because you keep assuming your audience knows less than they do. Learning to listen at an adult level would help you to have more interesting technical discussions, too.

kerkeslager 3y ago

> ...because I think you'd write mathematical history if you can prove it? No, because this is an informal conversation not a mathematical paper. Clearly you understand what is meant if someone says that subtraction is a subset of addition. You also clearly understand they're not saying it as a statement of proof. If you can understand someone well enough to correct their usage of words, you understand them well enough that they communicated successfully. So why create a problem? > Listen, currying is a defined term[0], as is partial application[1]. Those are primarily mathematic definitions, and your choice of words "...is a subset of..." is also stemming from a rather mathematical terminology if you'd ask me. Therefor its interpretation will primarily be itching logical intelligence. Yes, I'm well aware, I just don't care. People use words outside their dictionary definitions all the time and if we understand it, it doesn't matter. Perhaps you should look up the word pedant? Dictionary authors are well aware of the pitfalls of relying on definitions as prescription rather than description. > I'm not going to discuss visual, linguistic, interpersonal, intrapersonal or naturalistic understandings with you on Hacker News about your intentions, Well, that's your prerogative, but I'll note that you haven't said anything interesting about currying because you keep assuming your audience knows less than they do. Learning to listen at an adult level would help you to have more interesting technical discussions, too.