MRU 0001 (Sean) is a user on retro.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
The most highly voted and accepted answer doesn't say anything about why a statically typed language like OCaml needs this, but a couple of the other answers do. It turns out it's only needed for polymorphic functions, but they use the same representation everywhere for simplicity. I might steal this idea.
OCaml question Show more
@freakazoid this answer sounds like the explanation I heard for Emacs. It’s a tag to tell the system that this is in fact not an object but an int. But I know nothing about OCaml. https://stackoverflow.com/questions/3773985/why-is-an-int-in-ocaml-only-31-bits#3774467