Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sat 29 Sep 2018 15:30 - 15:55 at Jeffersonian+Knickerbocker - Art Chair(s): Donya Quick

The notion of effect in programming languages has evolved significantly since the works of Lucassen and Gifford – where an effect system tracks memory regions and enables the improvement of parallel execution – to the point where an algebraic characterisation of effects is proposed. In this work, our interest lies in an algebraic investigation of effects and how optimisable they are. Therefore, we propose a calculus, lambda genArt, that targets the development of generative art, which inherently demands effectful computations. We provide the semantics and type system of lambda genArt, alongside an effect algebra and a new parallel constructor. We implemented the calculus as a DSL for the Haskell programming language and introduced optimisations based on the effect information. This work is the first step towards the specification and implementation of a declarative functional language for generative art based on algebraic effects and handlers.

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 16:10
ArtFARM at Jeffersonian+Knickerbocker
Chair(s): Donya Quick Stevens Institute of Technology
15:30
25m
Research paper
Abstract Nonsense
FARM
April Gonçalves Roskilde University, Denmark
DOI
15:55
15m
Day closing
Closing
FARM
P: Donya Quick Stevens Institute of Technology, G: Brent Yorgey Hendrix College, P: Tom Murphy