4 ms·
I could be missing something but saying this language has ADTs is stretching the definition of ADT a bit much for me. ADTs are defined by combining simpler type
by cbdumas 8y ago
I could be missing something but saying this language has ADTs is stretching the definition of ADT a bit much for me. ADTs are defined by combining simpler types (usually with sum and product types) but that does not seem to be possible in Coconut.
- marcosdumay 8y agoYes, it's stretching, but there is a section for it. The sum types are create by multiple data declarations joined by directives. It's ugly, messy, error-prone and as your sibling comment says, misses the point of enabling static verification.
- haskellandchill 8y agoVery disappointing, like why bother doing ADTs if you aren't going to do them right and have exhaustive pattern matching.