PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
language
haskell
lisp
emacs
modules
records
ocaml
metaprogramming
coq
agda
phd
typeclasses
first-class-citizens
canonical-structures
-
Updated
Oct 24, 2021 - HTML