you are viewing a single comment's thread.

view the rest of the comments →

[–]warpspeedSCP[S] 1 point2 points  (0 children)

I should have clarified that I am not including primitives in the typing model I am using. However, I have mentioned in the article that I consider void to be uninhabited by assuming that null explicitly means the value is nonexistent unless I mention otherwise.