Wadler's Blog

I'm participating in four sessions at Cardano Virtual Summit 2020, and there are many other sessions too. All times UK/BST.

16.00 Thu 2 Jul An overview of IOHK research Prof Aggelos Kiayias, Prof Elias Koutsoupias, Prof Alexander Russell, Prof Phil Wadler.

18.30 Thu 2 Jul Architecting the internet: what I would have done differently... Vint Cerf, Internet pioneer and Google internet evangelist, Prof Aggelos Kiayias, panel moderated by Prof Philip Wadler.

20.00 Thu 2 Jul Functional smart contracts on Cardano Prof Philip Wadler, Dr Manuel Chakravarty, Prof Simon Thompson.

16.00 Fri 3 Jul Haskell, then and now: What is the future for functional programming languages? Prof Simon Peyton-Jones, Prof John Hughes, Prof Philip Wadler, Dr Kevin Hammond, Dr Duncan Coutts.

Labels: Blockchain, Cryptocurrency, Functional Programming, Haskell, IOHK

I almost never see masks in Edinburgh, not even in stores or on busses. Brazil has serious problems, but no one in Rio de Janeiro goes outside without a mask. Courtesy of Tom the Dancing Bug.

Labels: Covid-19

I am speaking at Haskell Love, 31 July--1 August 2020,  a virtual event.

Labels: Functional Programming, Haskell

Another hopeful analysis, from Jared Diamond, author of Guns, Germs, and Steel, one of my favourite books.

Covid-19 doesn’t represent an existential threat to the survival of our species. Yes, the pandemic will be a serious blow to the world’s economy, but that will recover; it’s only a matter of time. Unlike many of the epidemics of the past, the virus isn’t threatening to cause military defeats, population replacements or crashes, or abandonments of land under cultivation. 

There are other dangers, present right now, that do constitute existential threats capable of wiping out our species, or permanently damaging our economy and standard of living. But they are less convincing at motivating us than is Covid-19, because (with one exception) they don’t kill us visibly and quickly. 

Strange as it may seem, the successful resolution of the pandemic crisis may motivate us to deal with those bigger issues that we have until now balked at confronting. If the pandemic does at last prepare us to deal with those existential threats, there may be a silver lining to the virus’s black cloud. Among the virus’s consequences, it could prove to be the biggest, the most lasting — and our great cause for hope.

Labels: Covid-19