Algebraic Data Types 2019-11-06
I ended up going down quite a rabbit hole tonight.
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.
Somewhat unfocused, and I honestly thought I'd taken a longer break from Structured Data.
Haha whoops I don't think I posted this.