You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I don't think default should ever be used. otherwise is fine, and in some cases (very short cases) _ is better. But Adding a third possibility, default, is useless because there is no advantage. Remembering how to write/read the variance between switch case default and switch | otherwise is pure overhead.
The text was updated successfully, but these errors were encountered:
I don't think
default
should ever be used.otherwise
is fine, and in some cases (very short cases)_
is better. But Adding a third possibility,default
, is useless because there is no advantage. Remembering how to write/read the variance betweenswitch case default
andswitch | otherwise
is pure overhead.The text was updated successfully, but these errors were encountered: