[Haskell-cafe] Ur vs Haskell

[Alexander Kjeldaas]

I've briefly gone through the Ur demo at http://impredicative.com/ur/demo/

Ur looks very impressive, so the natural question I'm asking myself is:  How
does it stack up against haskell frameworks, and why can't Ur be implemented
in Haskell?

I'm thinking mainly of the safety guarantees, not necessarily the
performance guarantees, GC-less execution, or even non-lazy evaluation.

And I can't answer those.. any takers?

Alexander
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110107/b9fa513c/attachment.htm>