Should we change the name of the Program monad?
lthms opened this issue · comments
Thomas Letan commented
The name Program
originally comes to the operational
package, a neat Haskell package. The thing is, in Coq, Program
is also a nice command, so we are subject to ambiguity quite often.
@yurug has mentioned that issue several times, and he was right to do that.
Now, the question is simple: should we change it? and, if so, to what?
Several ideas come to mind:
Eff
is a popular alternative, but maybe it would become confusing with otherEff
implementations in other languages?FreeSpec
could do the trick: FreeSpec would come with itsFreeSpec
monad, orSpec
for short maybe?program
could be a way to state clearly that this is not theProgram
keyword, but as far as I know all inductive type names start with a capital letter in FreeSpec and I don’t want to have an exception.
Thomas Letan commented
In #37 I propose to rename Program
into impure
.