https://dotat.at/@/2025-05-13-if-is.html
About half a year ago I encountered a paper bombastically
titled "the ultimate conditional syntax". It has the
attractive goal of unifying pattern match
with boolean if
tests,
and its solution is in some ways very nice. But it seems
over-complicated to me, especially for something that's a basic
work-horse of programming.
I couldn't immediately see how to cut it down to manageable proportions, but recently I had an idea. I'll outline it under the "penultimate conditionals" heading below, after reviewing the UCS and explaining my motivation.
( Read more... )