Algebraic Data Types 2019-10-04

By Max Woerner Chase

I took things easy today, so there isn't much to report, but I thought more about how to deal with structures in a typed way. Pretty sure it'll take a combination of generics and protocols that I'm not sure actually works, and also stuff with TypedDict that I'm pretty sure will need a separate plugin just to make things work as expected.

I think I'll try to move toward developing in branches, because some of the changes I have in mind could be a huge pain if they're not isolated.

Okay, I can't stay awake any longer. Good night.