skip to main content
10.1145/3397537.3397554acmotherconferencesArticle/Chapter ViewAbstractPublication PagesprogrammingConference Proceedingsconference-collections
research-article

Synthesizing user interfaces using functional reactive web abstractions

Published: 04 August 2020 Publication History

Abstract

In this paper, we describe a novel approach to synthesizing web user interfaces (UI) from declarative specifications given in a domain-specific language (DSL) that can later be read and written by natural language processing (NLP) techniques via human language interaction. We make use of F#'s metaprogramming capabilities and our reactive forms library developed for WebSharper. Our ultimate goal is to enable end users to describe entire web application UIs and carry on a conversation with our system, describing incremental changes to apply on an ongoing specification.

References

[1]
Joel Bjornson, Anton Tayanovskyy, and Adam Granicz. 2011. Composing reactive GUIs in F# using WebSharper. In Implementation and Application of Functional Languages. Springer, 203–216.
[2]
Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. 2008. An idiom’s guide to formlets. Technical Report. Technical Report EDI-INF-RR-1263, University of Edinburgh.
[3]
Loïc Denuzière, Ernesto Rodriguez, and Adam Granicz. 2013. Piglets to the rescue. In 25th Symposium on Implementation and Application of Functional Languages, IFL. Nijmegen, The Netherlands.
[4]
Simon Fowler, Loïc Denuzière, and Adam Granicz. 2015. Reactive Single-Page Applications with Dynamic Dataflow. In Practical Aspects of Declarative Languages. Lecture Notes in Computer Science, Vol. 9131. Springer International Publishing, 58–73.
[5]
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae, Uladzimir Matsveyeu, and Tomas Petricek. 2012. Strongly-typed language support for internet-scale information sources. Technical Report. Technical Report MSRTR-2012-101, Microsoft Research.
[6]
Don Syme, Adam Granicz, and Antonio Cisternino. 2015. Expert F# 4.0. Springer. Abstract 1 Introduction 2 Contributions 3 Reactive Piglets - Abstract User Interfaces 4 DSL for UI specification 5 Synthesizing Model Types and Reactive Forms via F# Type Providers 6 Synthesizing Concrete User Interface Code 7 Developing Applications 8 Summary 9 Future and Ongoing Work Acknowledgments A Online Resources References

Index Terms

  1. Synthesizing user interfaces using functional reactive web abstractions

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    Programming '20: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming
    March 2020
    228 pages
    ISBN:9781450375078
    DOI:10.1145/3397537
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 04 August 2020

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. F#
    2. WebSharper
    3. declarative user interfaces
    4. natural language processing

    Qualifiers

    • Research-article

    Conference

    <Programming> '20

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 42
      Total Downloads
    • Downloads (Last 12 months)4
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 14 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media