&gt; Exactly as with pattern matching<p>With pattern matching you&#x27;ll get static checking if your matching is exhaustive.  Impossible with an if ladder. Therefore they&#x27;re not semantically equivalent.