Re:Never patterns, exhaustive matching, and uninhabited type...
by Veedrac on Saturday August 18, 2018 @07:39PM
(#17791533)
You can actually set a variable to `undefined` in Javascript. You can't set a value to an uninhabited type─there is no value that represents the type.
[ Parent
| on HN ]
Re:Never patterns, exhaustive matching, and uninhabited type...
by zebraflask on Saturday August 18, 2018 @07:41PM
(#17791541)
I get it, so the concept is closer to declaring a variable and that's it, nothing further happens.
Thanks.