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 I expect you could write something which did that. What sort of thing are you wanting to check?
-
-
@edwinbrady these are standard CFG passes in imperative compilers; may not make sense for FP/DT languages! -
@pozorvlak No, but I’m sure the ideas could be captured somehow in a type... I wasn’t thinking at the language level though. - 3 more replies
New conversation -
-
-
@edwinbrady liveness, constancy, setup-before-use, any kind of dataflow check, really.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.