Coming Up‎ > ‎

March meetup: 12.03.2013

posted 4 Mar 2013, 03:16 by Ed Lambda   [ updated 15 Nov 2013, 07:06 ]
Who: Conor McBride
When: 7pm, 12th March
Where: The Outhouse pub

Title: "Totally Live Coprogramming"

Total programming is too often characterised by the idea that
"programs must eventually stop". But there's another side to totality,
in which "coprograms can always go". I'll talk about how to guarantee
system properties such as "liveness" and even "fairness" by strong
typing disciplines, and show you what I'm talking about with a bit of
livecoding (language still to be selected; perhaps language still to
be implemented). The alleged Turing incompleteness of total languages
will emerge as something of an exaggeration. I'll be frank about the
shortcomings of current totality checking disciplines, but guardedly
optimistic about current developments in that respect.

Update: Conor's slides are: here.