Wtf.
04.06.2025 04:01
👍 1
🔁 0
💬 0
📌 0
Wtf.
I've seen some people do this to prevent cyclic imports, but then had to give up safe type construction.
You mean because you would need to export its constructors?
I'm not sure if this helps but for me it helps when I think that we all have to go through this.
Haskell Template...
The difference is in purity. OCaml cannot guarantee uniform behavior, so parametricity is missing.
Why, is this because OCaml has no parametricity?
Type-level programming
Is this a quote from Jezen Thomas?
How can one contribute?