Revision as of 22:22, 7 June 2019 edit 2600:1700:f840:1e40:6de5:e5c1:f398:6ccc (talk) →Would anyone mind if I add an example for R?: new section ← Previous edit		Revision as of 19:36, 9 September 2019 edit undo Nullzero (talk \| contribs) Extended confirmed users 568 edits →Idempotent or injective? Next edit →
Line 112: {{ping\|2600:1009:B112:79C8:75D8:597D:23FC:A3A4}} [[User:Andy Dingley\|Andy Dingley]] ([[User talk:Andy Dingley\|talk]]) 21:22, 15 April 2019 (UTC) {{ping\|Andy Dingley}} it's neither. The article wants to say that if ''x'' ''f'' ''y'' and ''x'' ''f'' ''z'', then ''y'' = ''z''. That is, it satisfies the properties of [[Function (mathematics)\|functions in mathematics]]. On the other hand: * [[Idempotent]] means f(f(x)) = f(x). * [[injective]] means if f(a) = f(b), then a = b. In the relational notation, if ''a'' ''f'' ''c'' and ''b'' ''f'' ''c'', then ''a'' = ''b''. Notice that this is in the other direction of the function properties I described above. These two are irrelevent. So yes, this should be changed. --[[User:Nullzero\|Nullzero]] ([[User talk:Nullzero\|talk]]) 19:36, 9 September 2019 (UTC) == Coding Styles section mostly detracts ==

Talk:Functional programming: Difference between revisions