[Haskell-cafe] Unboxed, zero-width :~:/Refl?

David Feuer david.feuer at gmail.com
Thu Jan 12 17:58:42 UTC 2023

On Thu, Jan 12, 2023, 11:24 AM Tom Ellis <
tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk> wrote:

> Ah, that's interesting.  Why is that?  I can't immediately see a
> theoretical blocker.  There's a practical one, of course: strict
> bindings are not allowed at the top level either, I guess to prevent
> infinite loops.  Seems strange though.  Does OCaml not allow defining
> constants at the top level?

OCaml has a notion of module loading time, at which top level definitions
are all run. Haskell has nothing like that.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230112/7583a4ce/attachment.html>

More information about the Haskell-Cafe mailing list