Choice of terminology in this area is absolutely crucial.
It is clear that many programmers have enormous difficulty
in grasping monadic IO, and carefree pollution of the
available vocabulary is a serious matter.
I would strongly recommend making an *exhaustive* (even
over-exhaustive..) survey of the terminology, and choosing words very
carefully. In fact, I was just about to post my own; but I'd
overwritten the damn file. (There were several tables, of verbs like:
carry out, perform, obey, execute, commit, enact, do, run, .. and
nouns like instruction, command, ..., etc etc ). I am about to search
through my overflowing bin for a printout.
Jerzy Karczmarczuk's instincts seem to me to be right.
Evaluation (calculation, ... etc) belongs to the "fetch"
phase of the IO machine, and execution to, well, the
"execution" phase.
Peter
