One interesting difference between SML and OCaml is how functors handle abstract types.
Actually OCaml has generative functors too since 4.02.
It’s the first time I see transparent and opaque ascription called weak and strong instead.
Came to comments to find the “this isn’t about machine learning!” subthread. Did not find one. Am I disapointed or surprised? Pleasantly surprised this audience is more informed than I’ve come to expect lately!
Actually OCaml has generative functors too since 4.02.
It’s the first time I see transparent and opaque ascription called weak and strong instead.
Came to comments to find the “this isn’t about machine learning!” subthread. Did not find one. Am I disapointed or surprised? Pleasantly surprised this audience is more informed than I’ve come to expect lately!