Thu Jun 28 13:08:44 EDT 2018


Last couple of weeks were very interesting and insightful.

But also exhausting.  This stuff is hard to come by.  A night of sleep
does seem to help in that regard.  Just as working incrementally.

I think it is time to push this much further.  The next practical
hurdle is to write tests.  I've been doing this in Erlang, but it
costs too much time to debug the tests themselves.

Erlang is a very good _operational_ framework.  But it does suffer
from the problem that all dynamic languages suffer from: it is hard to
refactor and evolve.

Tests help, but the tests themselves have the same problem: the tests
would appear to need tests!  Let's cut that short and use a more
formal representation of tests.