#|
Working compatibly with acl2 gets rid of oop sort of except
in as much as having a von neumann state object is oop.
There are packages, I guess. In the car game (I don't like
automobiles so I will eventually rename this something like
robot-game) my system is like this
Eventually I will add an acl2 book module to the system
definition probably mostly for documentation.
The objects as such are stobjs (which are secretly just very
particular lists I think), which is passed into and then a
new version out from pseudo-stateful functions, like this
(using the seq macro rather than a stobj proper)
|#
In a throw back to scm's wumpus hunting guide, since I
decided future-non-automobile-robots will move between a
hypergrid of nodes, I added a graphviz dot language
visualizer. I didn't realize before that without the -T
argument, graphviz dot outputs a textual description of
where it would decide to put its nodes. That's crazy useful
for making dumb terminal ascii graphviz graphs, or something
like an SDL2 program literally using the graph clustering.
|#
#|
Addendum: I put acl2-primitives in side-effects
(Maybe defining some acl2-primitives is a side effect ;p)
|#