<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>
<p><blockquote type="cite">On Sep 14, 2009 2:29 PM, "Adam Chlipala" <<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>> wrote:<br><br>nitralime wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
**I have just some rudimentary acquaintance<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>
<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>
</blockquote></p>