smartmatch

There are problems with the design of smart-matching. The decision of what any given TYPE ~~ TYPE should do is most often unobvious, inconsistent and/or disputed. The idea isn’t to remove smart matching; it’s to fix it. Specifically, ~~ will be greatly simplified, as you can see in a proposal by the 5.18 pumpking. Decisions … Read more