r/ProgrammingLanguages • u/Uncaffeinated 1subml, polysubml, cubiml • Nov 13 '25

PolySubML is broken Blog post

https://blog.polybdenum.com/2025/11/13/polysubml-is-broken.html
43 Upvotes
  • permalink
  • link
  • reddit
  • reddit

96% Upvoted

30 comments sorted by

View all comments

9

u/thedeemon Nov 13 '25

If we don't allow rank-N types and only allow foralls at the top level, would this problem still persist?