OCaml: where parametric polymorphism allows you to write quite elaborate correct-by-construction code... until it prevents you from inspecting data values in those parts of the code where bugs roam free.
-
Show this thread
I could easily trace the lower-level routines dealing with concrete bytes and figure out which operations were incorrect. But then the abstraction means it happens always and it is making hard correlating the low-level operations to their high-level counterparts.
8:37 PM - 4 Aug 2018
0 replies
0 retweets
2 likes
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!