Talk: @BCTCS’09 “Lucian: Dataflow and Object Orientation”

Slides from my BCTCS talk entitled Lucian: Dataflow and Object Orientation:

BCTCS ’09 was held at Warwick University- the university that I studied for my undergraduate degree at. I enjoyed the conference particularly, as I got to spend time with Steve Matthews and Sara Kalvala (my undergraduate project supervisors from my 3rd and 4th years), old friends from my undergraduate days, new friends from other universities, and also Bill Wadge, co-creator of Lucid, who was invited to speak at BCTCS ’09 all the way from Victoria, Canada.

If you have ever had a conversation with me about computer science you will know I have a particular proclivity for the Lucid programming language, so getting to chat about all things Lucid for a few days was great fun. Bill supervised Steve back when Bill was at Warwick, in the early days of Lucid. The quip is that Bill is my grandsupervisor.
The Lucian language is my own object-oriented hybrid of Lucid. I started Lucian as my 3rd year project and dissertation- quite some time ago now. The ideas developed further after discussions with Bill back in 2007, resulting in Steve and I publishing a paper which came out in 2008. In January 2009, with the BCTCS looming, I thought it would be fitting to talk about Lucian at BCTCS, due to Bill and Steve being present, and BCTCS being held at Warwick, the crucible of Lucid’s youth. So I revisited Lucian and discovered that there was much more to say than was originally conveyed in the paper. I mulled Lucian over last term and have since revised the language and have had some further thoughts about its semantics.

Advertisements

3 thoughts on “Talk: @BCTCS’09 “Lucian: Dataflow and Object Orientation”

    1. Hi John. Great! Glad to see that the project is still going ahead. I will take a look 🙂

      Btw, I saw your new “Cartesian Programming” document and really enjoyed it. Are you aware of the work (mostly by Uustalu and Vene) where “comonads” are used to structure Lucid/multi-dimensional Lucid like languages/programs? I have a draft of a paper which shows various examples: http://www.cl.cam.ac.uk/~dao29/drafts/codo-notation-orchard12.pdf. It would be great to join some of this work on mathematical descriptions of context-dependent languages with the TransLucid stuff.

      Dominic

      1. Hi Dominic, we just did the second release for TransLucid. It includes intensions as first-class values and all of the higher-order stuff works now. I’ll soon publish the semantics. This might be related to your comonad stuff, but my category theory is not very good.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s