Interacting with functional languages

Sinclair, Duncan Cameron (1997) Interacting with functional languages. MSc(R) thesis, University of Glasgow.

Abstract

Functional languages are mathematically pure, and easier to reason about than their imperative rivals. Because of this, they are an attractive paradigm of programming. They allow programmers to express complex algorithms in a declarative manner, resulting in powerful programs that are also well written. Good interaction with users is important for programs which are to be used for real applications. This normally involves creating a user interface using devices such as menus, buttons and scrollbars. It is now increasingly common for the interface of programs to be developed using specialised tools allowing a faster development cycle, with less programming involved. In the past, pure functional languages have been poor at creating graphical user interfaces resulting in good applications with poor interfaces. This is due to the mixing of the user's world which involves complex multi-level interactions, with the functional world which has a single threaded state. This is not a very good abstraction of the world to interact with. When the traits of the user's world are introduced into the functional world it is found that the purity of the functional world is compromised, and the clean declarative style of functional programming is lost. If the user interaction is separated from the functional program, allowing users to communicate with functional programs using external interface programs, it is possible to preserve the natural simplicity of the functional world. This would also allow programmers to take advantage of user interface development tools. I look at current solutions for performing input and output from functional languages, with particular reference to the Monadic I/O style which is currently gaining popularity. I then present a scheme where I have deliberately separated interaction from functionality, allowing functional programmers to build programs that interact with the "Real World", with less interference of the real world into the pure environment within the functional program.

• Item Type: Thesis (MSc(R))
• Qualification Level: Masters
• Additional Information: Adviser: Simon Peyton Jones.
• Keywords: Computer science, functional programming languages, human computer interaction.
• Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
• Colleges/Schools: College of Science and Engineering > School of Computing Science
• Supervisor's Name: Supervisor, not known
• Date of Award: 1997
• Depositing User: Enlighten Team
• Unique ID: glathesis:1997-71760
• Copyright: Copyright of this thesis is held by the author.
• Date Deposited: 17 May 2019 09:31
• Last Modified: 05 Sep 2022 13:10
• Thesis DOI: 10.5525/gla.thesis.71760
• URI: https://theses.gla.ac.uk/id/eprint/71760