Revision as of 21:11, 16 September 2021 edit Jordan Mitchell Barrett (talk \| contribs) Extended confirmed users 550 edits →Consistency in notation: new section ← Previous edit		Revision as of 16:06, 2 October 2021 edit undo Peter M Gerdes (talk \| contribs) 290 edits →IFF or equality?: new section Tags: Mobile edit Mobile web edit Next edit →
Line 98: Also, in the Analysis section, I think we should explicitly state the types of <code>ma</code>, <code>mmma</code>, etc, to avoid confusion (I found it hard to work out). --[[User:Jordan Mitchell Barrett\|Jordan Mitchell Barrett]] ([[User talk:Jordan Mitchell Barrett\|talk]]) 21:11, 16 September 2021 (UTC) == IFF or equality? == Maybe I'm just being dumb bc I'm just a mathematician who doesn't do category theory and may be unfamiliar with some of the programming/category theory specific notation but shouldn't the statement of the Monad laws use an equals symbol not a double arrow (as it appears in iPhone Wikipedia app)? If it is correct as written it might help to add a note explaining that it's not meant to be read as the usual logical connective. [[User:Peter M Gerdes\|Peter M. Gerdes]] ([[User talk:Peter M Gerdes\|talk]]) 16:06, 2 October 2021 (UTC)

Talk:Monad (functional programming): Difference between revisions