On the Missed Opportunities of Static Types
http://sigusr2.net/on-the-missed-opportunities-of-static-types.html
@zeroed @cadey Cadey may have seen the original post a long time ago.. not sure. It stemmed from a conversation I had at a previous job we worked together at. Basically, I felt attacked when I asked about a better way to do enums than iota. "WHY WOULD YOU WANT TO DO THAT?" "Because I'm not a masochist, and like languages that solve these problems for me" was not seen as a valid thing.
My post, subsequently, took on a tone that was a reaction to the conversation, rather than the core problem.
@cadey you don't need static types to have a static type checker.
'Also go dark seemingly out of nowhere' sounds like a lack of runtime errors at all, seems to be a coming trend to put too much faith in type checkers and leave runtime to end in darkness rather than at the scene of the crime (hopefully with the debugger invoked and the stack still live for my inspection)
@cadey Thank you for writing your post.
I will treasure your examples the next time I will try to explain the very same point.