<div dir="auto"><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Thu, Jan 12, 2023, 11:24 AM Tom Ellis <<a href="mailto:tom-lists-haskell-cafe-2017@jaguarpaw.co.uk">tom-lists-haskell-cafe-2017@jaguarpaw.co.uk</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Ah, that's interesting.  Why is that?  I can't immediately see a<br>
theoretical blocker.  There's a practical one, of course: strict<br>
bindings are not allowed at the top level either, I guess to prevent<br>
infinite loops.  Seems strange though.  Does OCaml not allow defining<br>
constants at the top level?<br></blockquote></div><div dir="auto"><br></div><div dir="auto">OCaml has a notion of module loading time, at which top level definitions are all run. Haskell has nothing like that.</div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div></div>