7 Jan
2011
7 Jan
'11
7:14 p.m.
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