Abstract | ||
---|---|---|
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional way, using type-directed Graphical Editor Components (GECs). In this toolkit, the programmer specifies a GUI by means of a data model instead of low-level GUI programming. In earlier versions of this toolkit, the data model must have a first-order type. In this paper we show that the programming toolkit can be extended in two ways, such that the data model can contain higher-order data structures. We added support for dynamic polymorphic higher-order editors using the functional shell Esther. By combining the earlier developed techniques of generic GECs, abstract editors, we also added statically typed higher-order editors. In principle this solution extends our GUI programming toolkit with the full expressive power of functional programming languages. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-30477-7_18 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
polymorphism,expressive power,functional programming language,first order,higher order,data model,data structure,generating function | Functional logic programming,Data structure,Programming language,Programming paradigm,Functional programming,Computer science,Reactive programming,Generic programming,Data model,Type safety | Conference |
Volume | ISSN | Citations |
3302 | 0302-9743 | 1 |
PageRank | References | Authors |
0.36 | 15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Achten | 1 | 7 | 0.89 |
marko c j d van eekelen | 2 | 239 | 30.37 |
rinus plasmeijer | 3 | 423 | 53.31 |
Arjen van Weelden | 4 | 42 | 4.15 |