It’s still quite unclear to me what problem you’re trying to solve here. It seems like you’re going to great lengths to shoehorn a Principia Mathematica style hierarchy into Julia for its own sake. But Russell and Whitehead didn’t want a hierarchy of types in the first place, they only added it to their logical system to avoid the construction of paradoxical sets. We don’t have that issue, so what problem does this rather complex proposal solve? As far as I can tell, allowing type parameters to be used in more places does not require stratifying Julia’s type system.
3 Likes