3 ms·
> Ocaml messed up with their operators. ... I hope a future version adds module typeclasses Do you mean modular implicits?[1] The original paper was published
by nequo 2y ago
> Ocaml messed up with their operators. ... I hope a future version adds module typeclasses
Do you mean modular implicits?[1] The original paper was published in 2014. There's an internship report from 2023 that summarizes the design and implementation issues:
https://modular-implicits.github.io/report.pdf https://modular-implicits.github.io/report.pdf
[1] https://arxiv.org/abs/1512.01895 https://arxiv.org/abs/1512.01895
- hajile 2y agohttps://www.cs.cmu.edu/%7Erwh/papers/mtc/short.pdf https://www.cs.cmu.edu/%7Erwh/papers/mtc/short.pdf I believe modular implicits and modular typeclasses are similar and aim to solve the same issues, but they are not quite the same.