Login
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
Implementation of "guarded methods" using type equality witnesses
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!