thalerjonathan / phd Goto Github PK

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?

Investigate to which extend we can apply UML and Peer-Olafs Framework of modelling agent-based simulations in my pure functional approach.

Investigate if and how property-based testing uising quickcheck can be used in ABS and if it has any benefits.

After finished studying the Idris Book and having developed a proper understanding of Dependen Types, investigate where and how dependent types could be of use in my pure functional approach to ABS. I explicitly want to focus on Idris as context of this research.

main.hs:11:30: error:
* Couldn't match type (a -> b, a)' with a0 -> b0 -> c0'
Expected type: f (a0 -> b0 -> c0)
Actual type: f (a -> b, a)
* In the second argument of fmap', namely (() g a)'
In the expression: fmap (uncurry $) (() g a)
In an equation for ap': ap' g a = fmap (uncurry $) (() g a)
* Relevant bindings include
a :: f a (bound at main.hs:11:7)
g :: f (a -> b) (bound at main.hs:11:5)
ap' :: f (a -> b) -> f a -> f b (bound at main.hs:11:1)
|
11 | ap' g a = fmap (uncurry $) (() g a)

The following code:

let mayInf = find (Infected==) aInfs
if isJust mayInf
    then return (Infected, Just ())
    else return (Susceptible, Nothing)

is the same as the simpler:

 if any (Infected ==) aInfs
    then return (Infected,    Just ())
    else return (Susceptible, Nothing)

See: https://github.com/thalerjonathan/phd/blob/d113e8d15e2b524e8169f40bc8cf1e7631d5649e/coding/papers/FrABS/Haskell/SIRDunai/src/Main.hs#L93--L96

EDIT: Moves link below. Adds complete code quote to description.