Hubris : A Trojan Horse for Haskell

#1

Post by r11t » Sat, Dec 12, 2009, 7:55 PM UTC

Hubris : A Trojan Horse for Haskell
fp-syd.googlegroups.com

Re: Hubris : A Trojan Horse for Haskell

#2

Post by sjf » Sat, Dec 12, 2009, 8:50 PM UTC

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.

Re: Hubris : A Trojan Horse for Haskell

#3

Post by henning » Sat, Dec 12, 2009, 10:39 PM UTC

sjf wrote: post #2

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.

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

Re: Hubris : A Trojan Horse for Haskell

#4

Post by fallintothis » Sat, Dec 12, 2009, 11:06 PM UTC

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.

Re: Hubris : A Trojan Horse for Haskell

#5

Post by SlyShy » Sun, Dec 13, 2009, 12:10 AM UTC

sjf wrote: post #2

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

Re: Hubris : A Trojan Horse for Haskell

#6

Post by blackdog » Tue, Dec 15, 2009, 10:21 AM UTC

henning wrote: post #3

sjf wrote: post #2

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.

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