Dec 13 – 16, 2021
Zoom
Europe/Zurich timezone
JFIC'21 is the first event in this new series

This is a Test Event. Events here may be deleted after some time.

Functional Editing System for JACoW

Not scheduled
20m
TBD (Zoom)

TBD

Zoom

Poster Presentation MC8.2 Second Track in MC8 Track Group

Speaker

Zhichu Chen (Shanghai Advanced Research Institute)

Description

Functional programming guarantees the correctness of the output. A system written in statically typed language, such as Haskell, not only benefits from the type-safe property, but can also use the powerful generic algebraic data type (GADT). Furthermore, languages implementing dependent types, e.g., idris, can serve as a theorem proofer, making the whole system total and elegant.

In this article, the author will use Haskell to demonstrate the process of editing. Some interesting details are shown:

  • parsing an article source file (LaTeX or MS Word) to an abstract syntax tree (AST), which can be edited and further parsed back for review;
  • using patch theory to selectively merge modifications submitted by the editor and the author without informing each other;
  • function composition: define function fragments and compose them into real programs.
    \begin{align}
    f_1 &= \ldots \qquad \text{(read from \LaTeX)} \
    f_2 &= \ldots \qquad \text{(read from WORD)} \
    g &= \ldots \qquad \text{(display AST in HTML for editing)} \
    h_1 &= g \circ f_1 \
    h_2 &= g \circ f_2 \
    \end{align}

Primary author

Zhichu Chen (Shanghai Advanced Research Institute)

Presentation materials

There are no materials yet.