The work of Ionescou in the paper "A functional framework for agent-based models of exchange" seems very interesting also in my context. It may be an interesting context in which to apply my research as well:
implement Gintis paper upon which the work of Ionescou et al is based. Also use the Masterthesis "An Extensible and Scalable Agent-Based Simulation of Barter Economics" by Evensen and Märdin.
implement Ionescous papers (the above mentioned paper and the specification paper which was not published)
Can we apply reasoning and testing?
Can we add depenent types?
Can we use quickCheck?
After having event-scheduling available now, we should be able to easily implement this model as it makes heavy use of events e.g. "every X weeks". This would have been possible with the time-driven approach as well but is much more easily expressed with the event-scheduling approach.
The work of Ionescou in the paper "A functional framework for agent-based models of exchange" seems very interesting also in my context. It may be an interesting context in which to apply my research as well:
Can we apply reasoning and testing? Can we add depenent types? Can we use quickCheck?
After having event-scheduling available now, we should be able to easily implement this model as it makes heavy use of events e.g. "every X weeks". This would have been possible with the time-driven approach as well but is much more easily expressed with the event-scheduling approach.