And here is a follow-up post with unambiguous syntax.
Maximally minimal view types · baby steps
https://smallcultfollowing.com/babysteps/blog/2026/03/21/view-types-max-min/
https://smallcultfollowing.com/babysteps/blog/2026/03/21/view-types-max-min/
And here is a follow-up post with unambiguous syntax.
1 Comments
SorteKanin@feddit.dk · 2 pts · 163d
Interesting - I think this minimal solution I actually wouldn't mind, but I'd be concerned about introducing syntax for callers. Keeping it as a private construct in libraries seems fine though.