Roughly, yeah. I currently view the types of P[Λ] and P[X|Λ] as the “low-level” type signature of abstraction, in some sense to be determined. I expect there are higher-level organizing principles to be found, and those will involve refinement of the types and/or different representations.
Roughly, yeah. I currently view the types of P[Λ] and P[X|Λ] as the “low-level” type signature of abstraction, in some sense to be determined. I expect there are higher-level organizing principles to be found, and those will involve refinement of the types and/or different representations.