Reading andres-loeh.de/LambdaPi/Lambd
data Term = ... | VecElim Term Term Term Term Term Term
Tell me again why people love ADTs so much?
Conversation
Can you not label the arguments associated with an element of a sum type in Haskell?
1
1
Not as far as I know of.
2
Yeah, haskell's records are pretty weird (terrible) here. You'll get a bunch of accessor functions that take `Term` and return `Term`, throwing an exception if its not a `VecElim`. OCaml, SML, Rust, etc do a much better job here.