Side-effecting

One feature of our solution was an extensive use of side-effecting functions; we show that such functions simplify the genetic programming paradigm and enable a more powerful machine model.

The difficulty in a pure language such as Idris — that is, a language where expressions do not have side-effects — is that I/O is inherently side-effecting.