Abstract
| Original language | English |
|---|---|
| Title of host publication | FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design : Co-located with ICFP 2018 |
| Editors | Brent Yorgey, Donya Quick |
| Place of Publication | New York |
| Publisher | Association for Computing Machinery |
| Publication date | 2018 |
| Pages | 26-37 |
| DOIs | |
| Publication status | Published - 2018 |
| Event | The 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design - St. Louis, Missouri, United States Duration: 29 Sep 2018 → 29 Sep 2018 https://icfp18.sigplan.org/track/farm-2018-papers#About https://functional-art.org/2018/ |
Workshop
| Workshop | The 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design |
|---|---|
| Country | United States |
| City | St. Louis, Missouri |
| Period | 29/09/2018 → 29/09/2018 |
| Internet address |
Cite this
}
Abstract nonsense. / Gonçalves, Junia.
FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. ed. / Brent Yorgey; Donya Quick. New York : Association for Computing Machinery, 2018. p. 26-37.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
TY - GEN
T1 - Abstract nonsense
AU - Gonçalves, Junia
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
U2 - 10.1145/3242903.3242908
DO - 10.1145/3242903.3242908
M3 - Article in proceedings
SP - 26
EP - 37
BT - FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
A2 - Yorgey, Brent
A2 - Quick, Donya
PB - Association for Computing Machinery
CY - New York
ER -