• Corpus ID: 198232540

A Real-World Application with a Comonadic User Interface

  title={A Real-World Application with a Comonadic User Interface},
  author={Arthur Xavier},
The category-theoretical notion of a comonad is used by Freeman [2016b] to develop a pure functional model that summarizes and abstracts many different user interface paradigms (or architectures) and their behaviour in applications, whereby each different user interface (UI) paradigm corresponds to a different choice of comonad. This work presents a real-world application developed using an extended model based on the original by Freeman. These extensions to the original model should address… 

Figures from this paper



Elm : Concurrent FRP for Functional GUIs

Elm is presented, a concurrent FRP language focused on easily creating responsive GUIs and its two major features simplify the complicated task of creating responsive and usable graphical user interfaces.

Why are Human-Computer interfaces Difficult to Design and Implement?

Everyone knows that designing and implementing human-computer interfaces is difficult and time-consuming. However, there is little discussion of why this is true. Should we expect that a new method

Comonadic Notions of Computation

Codata and Comonads in Haskell

The second topic of the paper is comonads in Haskell, where Haskell can provide rst-class codata types, and Simon Peyton Jones has suggested that with the ability to hide a representation type, Haskell's modules permit the declaration of abstract objects (without an inheritance mechanism).

Monad transformers and modular interpreters

A fully modular interpreter based on monad transformers that incudes features missing from Steele's, Espinosa's, and Wadler's earlier efforts is designed and implemented in Gofer, whose constructor classes provide just the added power over Haskell's type classes to allow precise and convenient expression of the ideas.

On closed categories of functors

Brian Day Received November 7, 19~9 The purpose of the present paper is to develop in further detail the remarks, concerning the relationship of Kan functor extensions to closed structures on functor

Client behavior and feed characteristics of RSS, a publish-subscribe system for web micronews

It is found that RSS workload resembles the Web in content size and popularity; feeds are typically small (less than 10KB), albeit with a heavy tail, and feed popularity follows a power law distribution.

What is RSS and how can it serve libraries

Examines RDF Site Summary, or Rich Site Summary (RSS) feeds, a means of distributing news or other Web content from an online publisher to users, and offers suggestions on potential library uses of RSS.

The Cofree comonad and the expression problem

  • http://comonad.com/reader/2008/ the-cofree-comonad-and-the-expression-problem/. Accessed: 2018-06-26.
  • 2008

Comonads and day convolution

  • https://blog.functorial.com/posts/ 2016-08-08-Comonad-And-Day-Convolution.html. Accessed: 2018-06-26.
  • 2016