I disagree with one character of http://www.cl.cam.ac.uk/~srk31/blog/2014/10/07/ …. A pluggable whole-program analysis tool is a linter, not a linker :-)
@pozorvlak No, but I’m sure the ideas could be captured somehow in a type... I wasn’t thinking at the language level though.
-
-
@edwinbrady I think a lot of analyses that are done with CFG traversal in imperative-land are done with abstract interpretation in FP-land. -
@pozorvlak@edwinbrady The two aren't so different. Appel's "Compiling with Continuations" has trad. dataflow analyses on a functional IR. - 1 more reply
New conversation -
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.