This article is a response to this blog post. The problem with this post is that it makes several mistakes around the behavior of sum types, which undrcut the argument the post is making. I want to explain why Bob Harper’s original (and admittedly some-what flaime-baity) post is correct. But first, I need to actually […]
↧