Implement A functional framework for agent-based models of exchange
Opened this issue · 3 comments
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?
My approach with FRP / Yampa / Dunai / BearRiver allows to explicitly model time, which was discussed also in another paper by Botta, Mandel and Ionescou: "Time in discrete agent-based models of socio-economic systems"
Implementation of this should be attempted for the research on the use of dependent types in ABS using Idris.
At the moment I feel this has move out of the focus of the PhD, maybe it becomes relevant as another use-case when writing up the thesis in 1 Year (around April 2019).