20.1.05
TIOBE Programming Community Index
The TIOBE Programming Community Index tracks popularity of programming languages. "The ratings are based on the world-wide availability of skilled engineers, courses and third party vendors. The popular search engines Google, MSN, and Yahoo! are used to calculate the ratings." Lisp, Scheme, and ML rate mentions. Erlang and Haskell are tracked, but no ratings are reported since they are not in the top 50.
7.1.05
ICDT
ICDT is in Edinburgh this year. Some highlights:
Moshe Vardi on model checking for database theorists. A lovely introduction.
Michael Schwartbach on type systems for XML. A perfect invited talk: a summary of the field as a whole, including the speaker's work but not focussed on it, with some hot-off-the-presses new research at the end (static typing for XSLT with DTDs as types). Beautifully illustrated with cows.
Wim Martens, Frank Neven and Thomas Schwentick on Which XML Schemas Admit 1-Pass Preorder Typing. Neat results, neatly presented. They have a very nice characterization of the "element declarations consistent" constraint in Schema.
David Maier on Streaming. One of the more interesting things I learned at ICDT is that Maier is responsible for introducing the term "impedance mismatch" to the database field, circa 1984. (It may have been introduced into computing more than once, as I believe I saw the same term used in a paper on AWK earlier than that.)
Victor Viana told me about his latest work. I went back to my office and downloaded his Specification and Verification of Data-driven Web Services from PODS 2004.
Moshe Vardi on model checking for database theorists. A lovely introduction.
Michael Schwartbach on type systems for XML. A perfect invited talk: a summary of the field as a whole, including the speaker's work but not focussed on it, with some hot-off-the-presses new research at the end (static typing for XSLT with DTDs as types). Beautifully illustrated with cows.
Wim Martens, Frank Neven and Thomas Schwentick on Which XML Schemas Admit 1-Pass Preorder Typing. Neat results, neatly presented. They have a very nice characterization of the "element declarations consistent" constraint in Schema.
David Maier on Streaming. One of the more interesting things I learned at ICDT is that Maier is responsible for introducing the term "impedance mismatch" to the database field, circa 1984. (It may have been introduced into computing more than once, as I believe I saw the same term used in a paper on AWK earlier than that.)
Victor Viana told me about his latest work. I went back to my office and downloaded his Specification and Verification of Data-driven Web Services from PODS 2004.
Links in Lambda the Ultimate
Ehud Lamm at Lambda the Ultimate was kind enough to post something about Links, and the comments have been positive so far. Thanks, guys!
(Tim Sweeney expressed a hope that the syntax would be more like C/Java/Python than like Haskell. That is the plan. Once the language is out, comments on all aspects, including the syntax, will be welcome.)
(Tim Sweeney expressed a hope that the syntax would be more like C/Java/Python than like Haskell. That is the plan. Once the language is out, comments on all aspects, including the syntax, will be welcome.)
5.1.05
FP goes mainstream
Jeremy Yallop has pointed me to an article describing continuations for web programming at the IBM DeveloperWorks website. Nice to see working programmers picking this up, as it is one of the key ingredients in Links.
