Algebraic Data Types 2019-11-08
Hopefully all of the annotations I've added actually make things clearer.
Hopefully all of the annotations I've added actually make things clearer.
Some of this stuff was "eh, good enough".
I ended up going down quite a rabbit hole tonight.
The theme of this week was thinking really hard about Structured Data, then really hard about anything but Structured Data.
Guess I was closer to burnout than I realized. I'm really throwing myself into Minecraft.
Taking it extremely easy and also I can't take long to write this or I won't get a good amount of sleep.
Looking at some of my runtime semantics like "How on Earth can I express this in the type system?"
I think today's cumulative commit messages might be longer than this post.
I've been designing this for so long that I don't know how anyone else would react to it...
Pylint is giving me over 50 warnings and a score above 9. This code base might be big.