Extending haskell with effectful property abstraction

Functional programming paradigm can be used to build high-level software, especially when combined with a strong type system, like in Haskell. Functions are first-order values in functional languages. Haskell's Lens type generalizes properties (i.e. accessors/mutators) found in other programmin...

Full description

Saved in:
Bibliographic Details
Published in2015 IEEE 13th International Scientific Conference on Informatics pp. 183 - 188
Main Authors Nemeth, Boldizsar, Kelemen, Zoltan, Karacsony, Mate, Tejfel, Mate
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.11.2015
Subjects
Additives
Context
Data structures
Gettering
Lenses
Libraries
Writing
Online AccessGet full text

Cover

More Information
Summary:Functional programming paradigm can be used to build high-level software, especially when combined with a strong type system, like in Haskell. Functions are first-order values in functional languages. Haskell's Lens type generalizes properties (i.e. accessors/mutators) found in other programming languages. However the structure of Lens type prevents using lenses for data that can be accessed with side-effects. Examples of such data are synchronized properties, file content or remote data. This paper presents an alternative data type for property abstraction, called Reference that can be used in these cases.
ISBN:9781467398671
1467398675
DOI:10.1109/Informatics.2015.7377830