alt Hacker Newsi think the design can push people into writing unnecessary matches/guards just to trigger the typechecker.
that said, I'm a fan
Replies
arcanemachiner • yesterday at 10:51 PM
I had to do this just the other day. I found it to be a minor papercut, but it was an easy fix.
That can be a concern indeed but it is worth noting that strong arrows compose/propagate. So if you have a function without guards that calls a function that guards on said types, the caller is also strong! We will likely have mechanisms to measure "strength" when we introduce type annotations.