10.4.08

 

AOSD 2008, Brussels


Last week I delivered a keynote at AOSD, on Well-typed programs can't be blamed. It was a marvelous opportunity to learn more about aspects, and more about Brussels.

The photo shows me with Gary Leavens atop the Musical Instruments Museum. You wander around wearing a headset, and when you stand next to an instrument you can hear it play. Someday soon, our whole world will be augmented in this way; but you won't need a specially supplied headset, you'll use your phone. One pleasure of my trip was to meet Wolfgang De Meuter and Tom Van Cutsem, whose Ambient Oriented Programming is aimed at just such applications.

People I enjoyed meeting include Dean Wampler, Eric Eide, Curt Clifton,
Emilia Katz, Maja D'Hondt, and Ellie D'Hondt. Ellie works in quantum computation, and told me (rather to my surprise) that monads have an application there. She had once read one of my papers on monads, but found it too difficult. This cheered me up, since I feel the same when I try to read about quantum computation.

Special thanks to Theo D'Hondt, Viviane Jonckers, and Isabelle Michiels for organizing the conference so well.


Comments:
> Someday soon, our whole world will be augmented in this way; but you won't need a specially supplied headset, you'll use your phone.

According to the following article, you won't even need your phone.

The Sound of Things to Come
http://query.nytimes.com/gst/fullpage.html?res=9405E6D91731F930A15750C0A9659C8B63
 
Not too difficult - just difficult!
 
re: Monads and quantum mechanics (QM) -- the blogger sigfpe (http://sigfpe.blogspot.com) has quite a few readable posts up about QM and (co-)monads (in mathematics and in Haskell). In some of his posts these topics intersect. I find his style very approachable; give his blog a read if you'd like to explore QM from a Haskell perspective.
 
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?