Live data from Hacker News

Django 1.8.2 security release patches unusually dangerous bug – update ASAP

djangoproject.com

1–6 of 6 posts

Re: Django 1.8.2 security release patches unusually dangerous bug – update ASAP

#6
post #5
post #3

Adding to my list of security vulnerabilities that static typing would have prevented.

Isn't an empty string still a string?

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 session

wasn't communicated by the code.