2 ms·
> The best I've seen a type system do on user input is blow up at runtime and that's not good enough for me Then you haven’t been looking closely enough. The a
by yakshaving_jgt 7y ago
> The best I've seen a type system do on user input is blow up at runtime and that's not good enough for me
Then you haven’t been looking closely enough. The article addresses exactly this wrong argument.
- samatman 7y agoDoes it? What happens to the example code if UserName is an Int?
- yakshaving_jgt 7y agoThe article demonstrated that with Haskell — as with just about any other language — you can choose to silently ignore malformed input. There is absolutely no fundamental necessity to "blow up at runtime" as the parent comment erroneously posited.