<br><br><div class="gmail_quote">On Mon, Sep 14, 2009 at 11:41 PM, Anthony Di Franco <span dir="ltr"><<a href="mailto:di.franco@aya.yale.edu">di.franco@aya.yale.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<p>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.</p></blockquote><div>I don't understand you! We talk about Ur/Web, SML and Haskell. <br>
I am aware of the existence of Scala (and Lift)!!<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<p></p><blockquote type="cite"><div class="im">On Sep 14, 2009 2:29 PM, "Adam Chlipala" <<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.com</a>> wrote:<br><br>nitralime wrote:<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">
**I have just some rudimentary acquaintance</div><p><font color="#500050">
> with SML (I learned it a few years a go) and need to refresh my knowledge.
> I know very little a...</font></p></blockquote><div class="im">
<br>
I would recommend writing some significant programs in both Haskell and ML. The latter means either of SML or OCaml. I've not yet invested any effort in creating documentation for people who haven't already done as I'm suggesting here; maybe someone else will write such documentation some day.<br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</div></blockquote>
<br>_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div><br>