Comment by teh64
13 hours ago
In ocaml (and I assume SML) it helps that the generic types have a `'` before them, so
val map : ('a Box) -> ('a -> 'b) -> 'b Box
13 hours ago
In ocaml (and I assume SML) it helps that the generic types have a `'` before them, so
val map : ('a Box) -> ('a -> 'b) -> 'b Box
No comments yet
Contribute on Hacker News ↗