Pre-SIP(s): Improving the expressiveness of conditional control flow

[Jasper-M]

@alvae

In this paper , Lionel Parreaux describes the so-called “ultimate conditional syntax” for MLscript that supports patterns in conditional expressions. Multiple conditions can appear separated by and:

if v is Stable(major, _) and major >= 2
then foo()
else bar()

You may be interested to know that this and other potential solutions in this problem space have been discussed before in this topic.