<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@joey" class="u-url mention">@<span>joey</span></a></span> Purely from a teaching point of view, let is sometimes used as an example of syntactic sugar. That would certainly be more difficult to explain if it had the semantics of let*.</p>