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