Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces. / Elsman, Martin; Schack-Nielsen, Anders.
Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. ed. / Matthew Flatt; Hai-Feng Guo. Springer, 2014. p. 184-199 (Lecture notes in computer science, Vol. 8324).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - GEN
T1 - Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces
AU - Elsman, Martin
AU - Schack-Nielsen, Anders
N1 - Conference code: 16
PY - 2014
Y1 - 2014
N2 - We present the concept of typelets, a specification technique fordynamic graphical user interfaces (GUIs) based on types. Thetechnique is implemented in a dialect of ML, called MLFi (MLFi isa derivative of OCaml, extended by LexiFi with extensionstargeted at the financial industry), which supports dynamictypes, for migrating type-level information into the objectlevel, so-called type properties, allowing easy specification of,for instance, GUI control attributes, and type paths, whichallows for type-safe access to type components at runtime.Through the use of Hindley-Milner style type-inference in MLFi,the features allow for type-level programming of userinterfaces. The dynamic behavior of typelets are specified usingdeclarative rules. The technique extends the flat spreadsheetprogramming model with higher-order rule composition techniques,extensive reuse, and type safety. A layout specification languageallows layout programmers (e.g., end-users) to reorganize layoutsin a type-safe way without being allowed to alter the rulemachinery. The resulting framework is highly flexible and allowsfor creating highly maintainable modules. It is used with successin the context of SimCorp's high-end performance-criticalfinancial asset-management system with screens containing severalhundreds of GUI controls located in group-boxes, sub-tabs, andmenu structures and with very complex dependency structuresdefined using declarative rule composition.
AB - We present the concept of typelets, a specification technique fordynamic graphical user interfaces (GUIs) based on types. Thetechnique is implemented in a dialect of ML, called MLFi (MLFi isa derivative of OCaml, extended by LexiFi with extensionstargeted at the financial industry), which supports dynamictypes, for migrating type-level information into the objectlevel, so-called type properties, allowing easy specification of,for instance, GUI control attributes, and type paths, whichallows for type-safe access to type components at runtime.Through the use of Hindley-Milner style type-inference in MLFi,the features allow for type-level programming of userinterfaces. The dynamic behavior of typelets are specified usingdeclarative rules. The technique extends the flat spreadsheetprogramming model with higher-order rule composition techniques,extensive reuse, and type safety. A layout specification languageallows layout programmers (e.g., end-users) to reorganize layoutsin a type-safe way without being allowed to alter the rulemachinery. The resulting framework is highly flexible and allowsfor creating highly maintainable modules. It is used with successin the context of SimCorp's high-end performance-criticalfinancial asset-management system with screens containing severalhundreds of GUI controls located in group-boxes, sub-tabs, andmenu structures and with very complex dependency structuresdefined using declarative rule composition.
KW - Faculty of Science
KW - OCaml
KW - Functional programming
KW - User interfaces
U2 - 10.1007/978-3-319-04132-2_13
DO - 10.1007/978-3-319-04132-2_13
M3 - Article in proceedings
SN - 978-3-319-04131-5
T3 - Lecture notes in computer science
SP - 184
EP - 199
BT - Practical Aspects of Declarative Languages
A2 - Flatt, Matthew
A2 - Guo, Hai-Feng
PB - Springer
Y2 - 20 January 2014 through 21 January 2014
ER -
ID: 168854932