Re:Django 1.8.2 security release patches unusually dangerous...
by jtokoph on Wednesday May 20, 2015 @05:57PM
(#9579601)
Isn't an empty string still a string?
[ Parent
| on HN ]
Re:Django 1.8.2 security release patches unusually dangerous...
by codygman on Wednesday May 20, 2015 @06:13PM
(#9579694)
Right, the issue here is just using null or "". You could use an Optional or Maybe type here. Even better you could define:
data SessionKey = ValidSessionKey | InvalidSessionKey
Then the developer making the modification code would have been much less likely to type "InvalidSessionKey" whereas the None/"" behavior is just an idiom. The problem here is that the domain knowledge of: "" is a valid sessionwasn't communicated by the code.