Null pointers are the billion dollar mistake

@davetchepak "What can C# do that F# cannot?"
NullReferenceException :-)

Educating the imperative gorillas about sum types:

https://chadaustin.me/2015/07/sum-types/

>>31
OK I've read the slides. The switch on integers is faster because it's compared to Sepples reflection capabilities which is kind of a no-brainer. As for comparison with Haskell and OCaml, it's a hand-waving graph with a hand-waving note. There is no comparison of real pattern matchibg (eg. in Haskell) and imperative destructuring.

>>37
Sun types are the dual of product types, whoever said anything about ML? And maybe pattern matching isn't an FP thing, I don't know, but that's where it took root.
And yes, C allows inspecting the payload of a tagged union without checking the tag - the result is undefined behaviour or some such crap.