4 ms·
Hubris : A Trojan Horse for Haskell
- sjf 17y agoSo 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 17y agoI think the idea is, it's a way to sneak Haskell in to environments that otherwise wouldn't use them.
- blackdog 17y agoyep, 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 17y agoMore info: http://github.com/mwotton/Hubris http://github.com/mwotton/Hubris
- fallintothis 17y agoProvably 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/ 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.