Festbanket og datatyper

I dag var noget så forholdsvis usædvanligt som en dag uden overraskelser eller forsinkelser. Jeg sov længere end jeg måske burde (for træt, det var jeg), men fik hørt nogle foredrag til SPLASH. Især husker jeg et foredrag om arbejde med et type/effekt-system for objektorienterede programmeringssprog; forfatterne var fra Wellington i New Zealand og deres tilgang mindede mig om noget, jeg selv arbejder på sammen med andre for tiden og som udspringer af et sprog og programmeringsværktøj ved navn Mungo, udviklet ved Glasgow University. Underligt kendte de tilsyneladende ikke til dette arbejde. Lige bagefter ville skæbnen, at jeg til frokost løb ind i Roly Perera – fra Alan Turing Institute og en af personerne bag Mungo i sin tid. Det kom der en lang og god snak ud af.

Efter frokost gik jeg en lille tur i Athen for at få købt et krus med et citat af Pythagoras; jeg købte sådan et krus sidste efterår, da jeg også var her. Men det krus faldt på gulvet og fik en revne, der gør det utæt. Gåturen førte mig forbi parlamentsbygningen på Syntagma-pladsen. Og nu har jeg et nyt Pythagoras-krus.

Et af de foredrag, jeg især husker fra sessionerne efter frokost, var et foredrag om afhængige stityper. Det var ikke bare et rigtig elegant og nyttigt resultat om typesystemer, men Marianna Rapoport fra University of Waterloo gav også en usædvanligt god præsentation med velvalgte animationer og enkle farver – og et motiverende eksempel, der forklarede hvordan stityper måske kunne bruges til at lave en bordplan for Romeo og Julie til deres bryllup (som jo aldrig blev til noget), så de rivaliserende familier kunne sidde sammen!

Jeg tog hjem og fik et hvil, så det afsluttende SIGPLAN-møde med prisuddeling gik jeg glip af. Om aftenen var der konferencemiddag, og her fulgtes jeg med William Cook fra University of Texas; han er gangbesværet efter alvorlig sygdom og fik en taxi til restauranten, som han tilbød at jeg kunne være med i. Til selve middagen fik jeg William Cook på min højre side, og først da opdagede jeg at det var ham, der havde fået SIGPLANs pris tidligere i dag for sin indflydelsesrige artikel On Understanding Data Abstraction, Revisited fra 2009 om forskellen på objekter og datatyper. Vi begyndte aftenen med at snakke om datatyper og objekter (forskellen kan mest præcist beskrives ved hjælp af begreber fra universel algebra, så det vil jeg undlade at skrive mere om her), men ad uransagelige veje endte vi med at sidde og tale om alt mulig andet også. Til sidst var vi faktisk nået over til at snakke o, hvordan man bedst kan tilberede en kabocha-vintergræskar i en elektronisk trykkoger! “Mit navn er jo også Will Cook”, sagde prismodtageren til mig.

På min venstre side sad Bernardo Toninho fra Universidade Nova de Lisboa, og han kunne fortælle mig, hvordan man som universitetslærer i Portugal ikke selv behøver at bruge tid på at lave de detaljerede afregninger efter tjenesteregner – den slags tager administrationen sig af. Man skal bare aflevere et ark papir, så ordner de resten. Det fremstod helt utopisk!