Autonomous + interactive running framework

[siddhartha-gadgil]

As with generative models, we build a system for autnomous running with smooth interactions. We sketch a design below, which as a first pass skips uses of resources. The details will be a mix of typeclasses/implicits and traits.

• The flow depends on posts that are either posted by the user or a result of computations.
• These are organized in a post-web.
• A typeclass determines whether a type is Postable in a given post-web, with a method storing the post and returning an ID (generally a hash) and an upated post-web.
• We should also be able to view results of Viewable types of two kinds:
  • local viewables depend on an ID, giving a post whose history is used to get the latest value.
  • global viewable, unconditional.
• We should also be able to subscribe to posts, with actions triggered on posting of two types:
  • returning a unit, say logging.
  • resulting in a post, i.e., returning a postable type.
• We arrange so that postable types have unique witnesses, which are used for the triggers.
• A combination, such as an HList, of postables/viewables should be postable/viewable.
• We can have a method in the post-web trait for posting a postable type, which uses the typeclass method to update and then triggers all the subscribed methods.

[siddhartha-gadgil]

• Updating can be done with a list-like construction attaching subscribers, with triggering calling the trigger in the earlier part and then the latest one.
• We start with an empty list, perhaps with just update methods or alternatively including these triggers in the post-web.

[siddhartha-gadgil]

• It is best to have a separate Subscribable typeclass extending the Postable one.
• We can use a list-like construction to upgrade all Postable types to Subscribable ones.
• The Postable ones are partly standard - where we build a map, but partly to be done by hand, for instance adding to the (mutable) set of equations.

[siddhartha-gadgil]

General framework with bots from the above references up to 1c0c73396aa28f45d7554638 is done. We should refine this as per need to be able to use this for

• the left and right identity problem.
• generating and chomping goals starting with Type
• the Czech-Slovak olympiad problem.

[siddhartha-gadgil]

There is a framework now (currently at commit 139407572e) which is untested, so this issue should be replaced by ones that arise during testing and refining.