3 ms·
Guards feel superfluous if the x, x pattern can be trivially lowered into a guard.
by RhysU 6y ago
Guards feel superfluous if the x, x pattern can be trivially lowered into a guard.
- repsilat 6y agoMore vice versa. Guards look more general (being able to express not-equal, and less-than etc), so special semantics for `x,x` only seem warranted if it's very common.
- RhysU 6y agoAgreed they're more general. If I have a working guard implementation I can build the x, x case atop it. Meaning, the x, x case can be sugar.