Abstract

‘Beyond functional programming: a taste of Verse’ is the title of this year’s Wheeler Lecture. It takes place on Wednesday 15 November, starting at 3 pm, followed by refreshments. Please register if you’d like to join us: https://www.eventbrite.co.uk/e/the-2023-wheeler-lecture-beyond-functional-programming-a-taste-of-verse-tickets-694741599827

The lecture will be given by Simon Peyton Jones (https://simon.peytonjones.org/), Engineering Fellow at Epic Games, a Fellow of the Royal Society, and Honorary Distinguished Fellow of the Cambridge Department of Computer Science and Technology. Simon is also chair of Computing at School.

Abstract: “Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell, Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and much more besides. In this talk I’ll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.”

Link to join virtually: https://cam-ac-uk.zoom.us/j/81322468305

A recording of this talk is available at the following link: https://www.youtube.com/watch?v=xNaaP8BKr7Y