@dotstdyJosh Simmons
@zwarich I would like to see the “conditional bindings are definitely used downstream of their conditions” and “all cases in this state space are handled by this condition tree” properties of a pattern match, but with the flexibility of ad hoc conditional expressions
@joeJoe Groff
@dotstdyJosh Simmons
@zwarich yeah i sketched a simplified UCS along those lines a few months ago which i called (tongue in cheek) the penultimate conditional syntax https://dotat.at/@/2025-05-13-if-is.html
definitely not the last word on the matter, in particular it needs less noisy punctuation
If you have a fediverse account, you can quote this note from your own instance. Search https://mendeddrum.org/users/fanf/statuses/115630259017155466 on your instance and quote it. (Note that quoting is not supported in Mastodon.)
