[Ur] Learning Ur/Web

Adam Chlipala adamc at impredicative.com
Mon Sep 14 17:48:52 EDT 2009


Anthony Di Franco wrote:
>
> How about Scala (/Lift) as a kind of bridge between these worlds? Lots 
> of the same ideas come to the forefront and it's more approachable for 
> a certain sizeable chunk of the mainstream.
>

Does idiomatic Scala code use monadic IO or ML-style functors?  If not, 
then Scala wouldn't quite get the job done.



More information about the Ur mailing list