Einar W. Høst is a computer at NRK, the Norwegian public broadcaster. He thinks that programs should be written for people to read and also for machines to laugh at. He has a PhD in Computer Science from the University of Oslo.
Inspired by last year's keynote at Lambda Days, this is an F# live coding session based on the classic "Functional Geometry" paper by Peter Henderson. If we think of a picture as a function from a bounding box to a rendering, we can define simple yet powerful combinators that allow us create complex pictures with ease and elegance. As a demonstration, we'll make a replica of Henderson's replica of Escher's Square Limit woodcutting - and then we'll see if we can go even further.Slides