Hubris : A Trojan Horse for Haskell

<i>Provably safe at compile time</i><p>Is this true? I was under the impression that the Haskell standard didn't formally specify its type semantics. Do works like <a href="http://web.cecs.pdx.edu/~mpj/thih/" rel="nofollow">http://web.cecs.pdx.edu/~mpj/thih/</a> "count" (i.e., is it the canonical reason we presume Haskell's type system is provably sound)? Honest question.

So it's a way to call Haskell from Ruby? Where does the Trojan horse come in? Presentations don't work so well with just the slides.