Login
Roast topics
Find topics
Find it!
From:
xvw.lol
(Uncensored)
subscribe
xvw.lol - Guarded methods in OCaml
https://xvw.lol/en/articles/oop-refl.html
links
backlinks
Tagged with:
programming
oop
ocaml
type
gadt
Roast topics
Find topics
Roast it!
Implementation of "guarded methods" using type equality witnesses