Puff
@puffmagicdragon.bsky.social
Puff likes Haskell and Compiler stuff
I've seen some people do this to prevent cyclic imports, but then had to give up safe type construction.
December 7, 2024 at 9:37 PM
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?
December 7, 2024 at 9:18 PM
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.
December 2, 2024 at 1:02 PM
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...
November 30, 2024 at 7:48 AM
Haskell Template...
The difference is in purity. OCaml cannot guarantee uniform behavior, so parametricity is missing.
November 21, 2024 at 10:06 AM
The difference is in purity. OCaml cannot guarantee uniform behavior, so parametricity is missing.
Why, is this because OCaml has no parametricity?
November 21, 2024 at 9:11 AM
Why, is this because OCaml has no parametricity?
Type-level programming
November 20, 2024 at 8:18 PM
Type-level programming
Is this a quote from Jezen Thomas?
November 20, 2024 at 4:03 PM
Is this a quote from Jezen Thomas?
How can one contribute?
November 18, 2024 at 6:45 PM
How can one contribute?