Abstract nonsense

Junia Gonçalves

doi:10.1145/3242903.3242908

Abstract nonsense

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

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.

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	https://doi.org/10.1145/3242903.3242908
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	https://icfp18.sigplan.org/track/farm-2018-papers#About https://functional-art.org/2018/

Cite this

Gonçalves, J. (2018). Abstract nonsense. In B. Yorgey, & D. Quick (Eds.), FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018 (pp. 26-37). Association for Computing Machinery. https://doi.org/10.1145/3242903.3242908

@inproceedings{210c1f63e5154401a3a915f2165e28f4,

title = "Abstract nonsense",

abstract = "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.",

author = "Junia Gon{\c c}alves",

year = "2018",

doi = "10.1145/3242903.3242908",

language = "English",

pages = "26--37",

editor = "Brent Yorgey and Donya Quick",

booktitle = "FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design",

publisher = "Association for Computing Machinery",

note = "null ; Conference date: 29-09-2018 Through 29-09-2018",

url = "https://icfp18.sigplan.org/track/farm-2018-papers#About, https://functional-art.org/2018/",

}

Gonçalves, J 2018, Abstract nonsense. in B Yorgey & D Quick (eds), FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. Association for Computing Machinery, New York, pp. 26-37, The 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, St. Louis, Missouri, United States, 29/09/2018. https://doi.org/10.1145/3242903.3242908

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

Y2 - 29 September 2018 through 29 September 2018

ER -

Link to document

10.1145/3242903.3242908