It's not a comparison either. OP's statement is just wrong; the obvious meaning of = is equality. For the definition of a pure function, = is the obvious symbol to use since the RHS can be substituted in for the LHS in any context.

-> for definition is just annoying. On every keyboard layout, it takes two strikes to type, possibly with shift involved.

▲

amelius 3 days ago | parent | next [-]

Use ≟ for comparison. I don't know where to find it on my keyboard, though. Maybe language designers should invent a keyboard along with their language.

▲

moi2388 4 days ago | parent | prev | next [-]

Yes. I too thought it was this. It is equality, and thereby lets you rewrite one side into the other side.

Then again I quite like rewriting languages like Mathematica and lean

▲

austin-cheney 3 days ago | parent | prev [-]

Equality is a comparison.

	▲	3 days ago \| parent \| next [-]
		[deleted]
	▲	grg0 3 days ago \| parent \| prev [-]
		Not in the sense of evaluating to a boolean.