blob: 41567518f880a1728db7e5537a3cd6e510cba7e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
\section{Edit-lenses}
Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen.
Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen:
\input{./edit-lens/src/Control/Edit.lhs}
\input{./edit-lens/src/Control/Lens/Edit.lhs}
\section{Finite state transducers}
\input{./edit-lens/src/Control/FST.lhs}
\input{./edit-lens/src/Control/DFST.lhs}
\subsection{Edit-lenses für deterministic finite state transducers}
\input{./edit-lens/src/Control/DFST/Lens.lhs}
\subsection{Ausblick: Edit-lenses für non-determinische finite state transducers}
\input{./edit-lens/src/Control/FST/Lens.tex}
|
