Let me introduce HOOPL to you: http://research.microsoft.com/en-us/um/people/sim... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		thesz on March 6, 2011 \| parent \| context \| favorite \| on: Understanding Practical API Design, Static Typing,... Let me introduce HOOPL to you: 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 on March 6, 2011 [–]

Let me introduce Erlang to you: 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".

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact