Stroustroup's "A Tour of C++" describes the distinction between these beautifully. Would you say that C++ does a good job of keeping them as separate concepts?
-
-
-
C++ only knows values and representations. Everything else is left to the user and libraries to sort out by implementing operator==, conversions, and other things. It’s reasonable for a low-level language but is quite error-prone.
End of conversation
New conversation -
-
-
Mr Sweeney i have to ask. Why are you tweeting this at 330 am? Shouldnt you be asleep?
-
It was either sleep or coding. So I chose coding, of course.
- 1 more reply
New conversation -
-
-
I agree, sort of. What about abstract types?
-
They’re an interesting case. They characterize sets of values, but limit the information one can extract from members of the set. Hidden existential quantifiers are a good implementation technique for this case.
- 1 more reply
New conversation -
-
-
what's the difference between 1 and 2?
-
A value is a thing like 123 and a type describes a set of potential values like “the integers” or “odd natural numbers”. A type answers the question, “Is this value a member?”
- 1 more reply
New conversation -
-
-
It's been years since your nextgen gamedev PL presentation... ;)
-
I’m still trying to make that stuff work, BTW!
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.