Yes, I enjoy how OCaml will type-check my marshaling combinators... but not how it forces me to write them by hand to begin with, when it ought to be type-derived. Should I move directly to reflection in Coq, or should I first spend some time learning Camlp5, PPX or MetaOCaml?
9:28 PM - 5 Aug 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!