Originally I suggested that REIFY of an isotope would give its plain form, and you would META it if you wanted a quasiform:
But that's not a full coverage answer.
-
An operator that takes everything "one level up", where antiforms become quasiforms and everything else gets a quote level added.
>> true == ~true~ ; anti >> meta true == ~true~ >> meta 10 == '10 -
An operator that leaves non-antiforms as they are, but turns antiforms into their quasiforms (and I think this probably is best called REIFY):
>> true == ~true~ ; isotope >> reify true == ~true~ >> reify 10 == 10 -
An operator that leaves non-antiforms as they are, but turns antiforms into their plain forms:
>> true == ~true~ ; isotope >> something true == true >> something 10 == 10
Specifically for FRAME! antiforms (actions) being turned into plain FRAME!, I used an interim term UNRUN, but that's pretty awful.
It could be a refinement to REIFY, like REIFY/PLAIN. But at that point it could be two steps that might be clearer: NOQUASI REIFY, where NOQUASI would be like NOQUOTE and not complain if the thing you passed it was not a quasiform.
Maybe... CONCRETIZE? That sounds like it might do a bit more work than what REIFY does :-/
>> true
== ~true~ ; anti
>> concretize true
== true
>> concretize 10
== 10
It's not awful. A shorter word would be CONCRETE.
>> true
== ~true~ ; anti
>> concrete true
== true
>> concrete 10
== 10
We do mess a bit with wording, but here it would be more of an adjective.
Another big question is what the antonym of REIFY would be. That is to say something that leaves all input values alone except for quasi forms, and gives you back an antiform.
>> unreify first [~alpha~ 1020]
== ~alpha~ ; anti
>> unreify second [~alpha~ 1020]
== 1020
Unfortunately, there's not a good opposite word for REIFY. Maybe DEGRADE?
>> degrade first [~alpha~ 1020]
== ~alpha~ ; anti
>> degrade second [~alpha~ 1020]
== 1020
I think I'll go with DEGRADE a while and see how I like it. The names can be juggled around once all the necessary behaviors are assembled.
