-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 1/7/11 14:14 , Alexander Kjeldaas wrote:
> 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 sa
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 necess