Comment by olaf | Hacker News Reader

Top New Best Ask Show Jobs

Comment by olaf | Hacker News Reader

Parent Full thread

> Also I heard Ada's type system was responsible for blowing up that Ariane V rocket.

Please post proved facts, not wrong, misleading "I heard" FUD.

That's the joke.

Perhaps this can help: http://youtu.be/bzkRVzciAZg

(Unless you were being double-sarcastic, in which case this post is a fail)

Here's where I first read about it.

http://archive.eiffel.com/doc/manuals/technology/contract/ar...

EDIT: there's a reference link but I can't open it on my phone.

Reply on news.ycombinator.com