Hubris : A Trojan Horse for Haskell

http://fp-syd.googlegroups.com/web/haskell-hubris.pdf

by r11t • 17 years ago

13 5 17 years ago

fp-syd.googlegroups.com

sjf• 17 years ago

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.

henning• 17 years ago

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

blackdog• 17 years ago

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.)

SlyShy• 17 years ago

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

fallintothis• 17 years ago

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.

Hubris : A Trojan Horse for Haskell

Related Stories