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.
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.
Hopefully, I won't come up with yet another must-have feature with spiraling requirements.
Not sure if how little I needed to rewrite my tests was a good sign, or a bad sign.
So many tests that need to be written...