3 ms·

> I'm also pretty jealous of OCaml's modular implicits, Have modular implicits already been implemented? I thought they were still trying to figure out the det

• eatonphil 6y ago
  Ah, well as with most OCaml planned features I gave up on waiting. Maybe they haven't finished this one.
  • c-cube 6y ago
    What ocaml got recently, though, is do notation in the form of "let operators". It's very handy for applicative or monadic style.
• dan-robertson 6y ago
  They haven’t been merged. One feature that gives some brevity is type directed constructor disambiguation which allows you to omit the module name when accessing record fields, matching values, or constructing values, provided the type can be inferred in a certain directional way (rather than the more general unification based type inference which is used by the type checker)