Hubris : A Trojan Horse for Haskell

fp-syd.googlegroups.com

13 pointsr11t5 comments

Provably safe at compile time

Is this true? I was under the impression that the Haskell standard didn't formally specify its type semantics. Do works like http://web.cecs.pdx.edu/~mpj/thih/ "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.

More info: http://github.com/mwotton/Hubris

I think the idea is, it's a way to sneak Haskell in to environments that otherwise wouldn't use them.

yep, that was the idea. (Well, that, and I'm hoping that once Ruby hackers try Haskell, they'll be forever corrupted by the Functional side of the force.)

Reply on news.ycombinator.com