Reactive Web Framework in Pure Functional Language

Vedúci práce	Autor
doc. RNDr. Ondrej Krídlo PhD.	Bc. Matej Nižník

Motivation

With recent implementation of JavaScript backend in upstream GHC compiler, it is now possible to run Haskell applications directly in browser, introducing pure, powerful static type system, nonstrict semantics and rich runtime with built-in support for concurrency into web development.

Though, just by itself, the language wouldn't provide framework for structured implementation of web interfaces, comparable to projects like React, Svelte or Angular in JavaScript world. Thus, our goal is to implement such framework for Haskell, specifically reactive framework, making use of unique features and advantages of the language.

Goals

• investigate previous attempts in this area (specifically Shpadoinkle)
• implement reactive model that allows for efficient detection of state changes (current plan is use of StableName interface)
• implement API for declarative definition of layout and state updates
• provide small examples of web applications based on the framework, showing its usage and testing its soundness