YOU'VE JUST RE-INVENTED XQUERY Mr Julian Hyde! And you've unknowingly described XQuery throughout your talk! (Actually, I've noticed of late many attempts to [unknowingly] re-invent XQuery -- an ML-inspired functional language which is implemented/optimised more like a query processor intended to be more friendly for SQL folks.) You can take that slide of Morel 39:35, replace the word "Morel" with "XQuery", then rename some of the keywords in the morel "from" expression and so that it's an XQuery "FLOWR" expression, and voila! My feeling is that this project should be re-cast as a new parallel-friendly implementation of XQuery/JSONiQ. The semantics and type systems of XQuery/JSONiQ are already very well thought through by some very smart FP guys (e.g. Philip Walder) and there exists a very rich standard library. Better to improve upon that work (I've always felt that XQuery/JSONiQ needed to be re-visited as they are need now more than when they first came out. I've also felt that they were poorly named thus not giving people an idea of how powerful they are and giving people the wrong idea that they were an "XML-thingy".)
YOU'VE JUST RE-INVENTED XQUERY Mr Julian Hyde! And you've unknowingly described XQuery throughout your talk!
(Actually, I've noticed of late many attempts to [unknowingly] re-invent XQuery -- an ML-inspired functional language which is implemented/optimised more like a query processor intended to be more friendly for SQL folks.)
You can take that slide of Morel 39:35, replace the word "Morel" with "XQuery", then rename some of the keywords in the morel "from" expression and so that it's an XQuery "FLOWR" expression, and voila!
My feeling is that this project should be re-cast as a new parallel-friendly implementation of XQuery/JSONiQ. The semantics and type systems of XQuery/JSONiQ are already very well thought through by some very smart FP guys (e.g. Philip Walder) and there exists a very rich standard library. Better to improve upon that work (I've always felt that XQuery/JSONiQ needed to be re-visited as they are need now more than when they first came out. I've also felt that they were poorly named thus not giving people an idea of how powerful they are and giving people the wrong idea that they were an "XML-thingy".)
Wow, thanks. I was one of those people who thought it was just an xml thing. I think I've conflated it with XPath.
Great lecture!
Looks like Linq
Or “query” in F# (which is LInq support in F# as a language feature tailored for F#)
Julian is definitely inspired by Linq and Naiad