What are the problems with an ADT encoding that associates types with data constructors? (Such as Scala.)
To the best of my knowledge, there are two reasons why Scala’s idiomatic encoding of case classes can be bad: type inference, and type specificity. The former is a matter of syntactic convenience, while the latter is a matter of increased scope of reasoning. The subtyping issue is relatively easy to illustrate: val x = … Read more