On Tue, Sep 15, 2009 at 02:36, nitralime <[email protected]> wrote: > > > On Mon, Sep 14, 2009 at 11:41 PM, Anthony Di Franco <[email protected]> > 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. > > I don't understand you! We talk about Ur/Web, SML and Haskell. > I am aware of the existence of Scala (and Lift)!!
I just thought it might be a convenient introduction to the concepts needed for Ur/web, given that people do functional reactive programming in it and it has a pretty decent amount of functional flavor and more useful type system mixed into it than usual for some random mainstream language / web framework, but as Adam pointed out there are compromises involved. >> On Sep 14, 2009 2:29 PM, "Adam Chlipala" <[email protected]> wrote: >> >> nitralime wrote: >>> >>> **I have just some rudimentary acquaintance >>> >>> > with SML (I learned it a few years a go) and need to refresh my >>> > knowledge. > I know very little a... >> >> 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. >> >> _______________________________________________ >> Ur mailing list >> [email protected] >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >> >> _______________________________________________ >> Ur mailing list >> [email protected] >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >> > > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > > _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
