1. 21
  1.  

  2. 4

    One interesting difference between SML and OCaml is how functors handle abstract types.

    Actually OCaml has generative functors too since 4.02.

    1. 2

      It’s the first time I see transparent and opaque ascription called weak and strong instead.

      1. -1

        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!