4 ms·

Let me introduce HOOPL to you: http://research.microsoft.com/en-us/um/people/simonpj/papers/c--/dfopt.pdf http://research.microsoft.com/en-us/um/people/simonpj/

by thesz 16y ago

Let me introduce HOOPL to you: http://research.microsoft.com/en-us/um/people/simonpj/papers/c--/dfopt.pdf http://research.microsoft.com/en-us/um/people/simonpj/papers... "Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation" They use invariants like those in article for practical API that happens to be in the greatest need of high dependability.

kbutler 16y ago
Let me introduce Erlang to you: http://ll2.ai.mit.edu/talks/armstrong.pdf http://ll2.ai.mit.edu/talks/armstrong.pdf Slide 27 describes an Erlang system from the late 90's/early 2000's that contains 1.7M lines of Erlang, with "99.9999999% reliability" This suggests that complicated compiler type checking is not "the greatest need of high dependability".