News for hackers. Stuff that matters.
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.
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.