July 8, 2020
10:30 a.m.
On 08/07/2020 11:05, Federico Salerno wrote:
What I don't like is the use of _ as catch-all, which is different and not interdependent with its use as throwaway.
Any name used as a pattern is a catch-all. The only difference between "case dummy:" and "case _:" is that "_" doesn't bind to the thing being matched, but "dummy" does bind to it. -- Rhodri James *-* Kynesim Ltd