A Functional Programming Technique for Forms in Graphical User Interfaces

A Functional Programming Technique for Forms in Graphical User Interfaces

This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Evers, Sander, Achten, Peter, Kuper, Jan
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Atomic Form
Combinator Library
Computer science
control theory
systems
Exact sciences and technology
Functional Language
Graphical User Interface
Programming languages
Software
Subject Type
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 51
container_issue
container_start_page 35
container_title
container_volume
creator Evers, Sander
Achten, Peter
Kuper, Jan
description This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level GUI library wxHaskell. To obtain complete separation between the structure of a form’s layout and that of the edited values, we introduce a novel use of compositional functional references.
doi_str_mv 10.1007/11431664_3
format Book Chapter
fullrecord <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_16923700</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>16923700</sourcerecordid><originalsourceid>FETCH-LOGICAL-p254t-7f703cc2256bf0c5e59a08fdff0e8273f0b45cafa0148b93e64a27ff740a5f7f3</originalsourceid><addsrcrecordid>eNpFUD1PwzAUNF8SpXThF3hBYgk8-9lxMlaIlkqVYGjnyDF-baBxgt0O_HtSFYlbbrjT6e4YuxPwKADMkxAKRZ6rCs_YDWoFKAELfc5GIhciQ1TlBZuUpjhqModS4SUbAYLMSqPwmk1S-oQBKAop9Igtpnx2CG7fdMHu-HvsNtG2bRM2fOXdNjTfB8-pi3zWxTbxJvB5tP22cYN5nXzki7D3kazz6ZZdkd0lP_njMVvPXlbPr9nybb54ni6zXmq1zwwZQOek1HlN4LTXpYWCPojAF9IgQa20s2RBqKIu0efKSkNkFFhNhnDM7k-5vU1DDYo2uCZVfWxaG38qkZcSzTBwzB5OvjRIYeNjVXfdV6oEVMcrq_8r8ReSuWAo</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>A Functional Programming Technique for Forms in Graphical User Interfaces</title><source>Springer Books</source><creator>Evers, Sander ; Achten, Peter ; Kuper, Jan</creator><contributor>Grelck, Clemens ; Michaelson, Greg J. ; Trinder, Phil ; Huch, Frank</contributor><creatorcontrib>Evers, Sander ; Achten, Peter ; Kuper, Jan ; Grelck, Clemens ; Michaelson, Greg J. ; Trinder, Phil ; Huch, Frank</creatorcontrib><description>This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level GUI library wxHaskell. To obtain complete separation between the structure of a form’s layout and that of the edited values, we introduce a novel use of compositional functional references.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540260943</identifier><identifier>ISBN: 3540260943</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540320385</identifier><identifier>EISBN: 9783540320388</identifier><identifier>DOI: 10.1007/11431664_3</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Atomic Form ; Combinator Library ; Computer science; control theory; systems ; Exact sciences and technology ; Functional Language ; Graphical User Interface ; Programming languages ; Software ; Subject Type</subject><ispartof>Implementation and Application of Functional Languages, 2005, p.35-51</ispartof><rights>Springer-Verlag Berlin Heidelberg 2005</rights><rights>2005 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11431664_3$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11431664_3$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4040,4041,27916,38246,41433,42502</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=16923700$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Grelck, Clemens</contributor><contributor>Michaelson, Greg J.</contributor><contributor>Trinder, Phil</contributor><contributor>Huch, Frank</contributor><creatorcontrib>Evers, Sander</creatorcontrib><creatorcontrib>Achten, Peter</creatorcontrib><creatorcontrib>Kuper, Jan</creatorcontrib><title>A Functional Programming Technique for Forms in Graphical User Interfaces</title><title>Implementation and Application of Functional Languages</title><description>This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level GUI library wxHaskell. To obtain complete separation between the structure of a form’s layout and that of the edited values, we introduce a novel use of compositional functional references.</description><subject>Applied sciences</subject><subject>Atomic Form</subject><subject>Combinator Library</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Functional Language</subject><subject>Graphical User Interface</subject><subject>Programming languages</subject><subject>Software</subject><subject>Subject Type</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540260943</isbn><isbn>3540260943</isbn><isbn>3540320385</isbn><isbn>9783540320388</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2005</creationdate><recordtype>book_chapter</recordtype><recordid>eNpFUD1PwzAUNF8SpXThF3hBYgk8-9lxMlaIlkqVYGjnyDF-baBxgt0O_HtSFYlbbrjT6e4YuxPwKADMkxAKRZ6rCs_YDWoFKAELfc5GIhciQ1TlBZuUpjhqModS4SUbAYLMSqPwmk1S-oQBKAop9Igtpnx2CG7fdMHu-HvsNtG2bRM2fOXdNjTfB8-pi3zWxTbxJvB5tP22cYN5nXzki7D3kazz6ZZdkd0lP_njMVvPXlbPr9nybb54ni6zXmq1zwwZQOek1HlN4LTXpYWCPojAF9IgQa20s2RBqKIu0efKSkNkFFhNhnDM7k-5vU1DDYo2uCZVfWxaG38qkZcSzTBwzB5OvjRIYeNjVXfdV6oEVMcrq_8r8ReSuWAo</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>Evers, Sander</creator><creator>Achten, Peter</creator><creator>Kuper, Jan</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2005</creationdate><title>A Functional Programming Technique for Forms in Graphical User Interfaces</title><author>Evers, Sander ; Achten, Peter ; Kuper, Jan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p254t-7f703cc2256bf0c5e59a08fdff0e8273f0b45cafa0148b93e64a27ff740a5f7f3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Applied sciences</topic><topic>Atomic Form</topic><topic>Combinator Library</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Functional Language</topic><topic>Graphical User Interface</topic><topic>Programming languages</topic><topic>Software</topic><topic>Subject Type</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Evers, Sander</creatorcontrib><creatorcontrib>Achten, Peter</creatorcontrib><creatorcontrib>Kuper, Jan</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Evers, Sander</au><au>Achten, Peter</au><au>Kuper, Jan</au><au>Grelck, Clemens</au><au>Michaelson, Greg J.</au><au>Trinder, Phil</au><au>Huch, Frank</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>A Functional Programming Technique for Forms in Graphical User Interfaces</atitle><btitle>Implementation and Application of Functional Languages</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2005</date><risdate>2005</risdate><spage>35</spage><epage>51</epage><pages>35-51</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540260943</isbn><isbn>3540260943</isbn><eisbn>3540320385</eisbn><eisbn>9783540320388</eisbn><abstract>This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level GUI library wxHaskell. To obtain complete separation between the structure of a form’s layout and that of the edited values, we introduce a novel use of compositional functional references.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11431664_3</doi><tpages>17</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Implementation and Application of Functional Languages, 2005, p.35-51
issn 0302-9743
1611-3349
language eng
recordid cdi_pascalfrancis_primary_16923700
source Springer Books
subjects Applied sciences
Atomic Form
Combinator Library
Computer science
control theory
systems
Exact sciences and technology
Functional Language
Graphical User Interface
Programming languages
Software
Subject Type
title A Functional Programming Technique for Forms in Graphical User Interfaces
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T05%3A49%3A22IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=A%20Functional%20Programming%20Technique%20for%20Forms%20in%20Graphical%20User%20Interfaces&rft.btitle=Implementation%20and%20Application%20of%20Functional%20Languages&rft.au=Evers,%20Sander&rft.date=2005&rft.spage=35&rft.epage=51&rft.pages=35-51&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540260943&rft.isbn_list=3540260943&rft_id=info:doi/10.1007/11431664_3&rft_dat=%3Cpascalfrancis_sprin%3E16923700%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540320385&rft.eisbn_list=9783540320388&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true