Algebraic Data Types 2019-08-21
I did a survey of my uses of the data keyword in Dennis, to figure out what functionality I want to have in Structured Data, or possibly new libraries. The three things I concluded I needed, in priority order, are:
- Product types that behave how I want them to
- Attribute forwarding for enums (possibly a new project)
- More Haskell-ish destructuring function definition
That first item is a little disappointing, but namedtuples are just so aggravating to do serious work with, outside of their use cases.
Before I start messing with these ideas, I want to figure out how to process the coverage divide-and-cover style. (This would be more like cover-and-divide, I guess.) And probably make other changes to the tooling for the project.
I can't figure out how to write about this in more detail than I put in the issues. So, um, calling it here. Good night.