undefined | Better HN

0 pointsRhysU5y ago0 comments

Guards feel superfluous if the x, x pattern can be trivially lowered into a guard.

0 comments

More 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.

RhysUOP5y ago

Agreed 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.

j / k navigate · click thread line to collapse

0 comments

repsilat5y ago

More 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.

RhysUOP5y ago

Agreed 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.

j / k navigate · click thread line to collapse