46 lines
1.9 KiB
TeX
46 lines
1.9 KiB
TeX
\documentclass[12pt]{scrartcl}
|
|
|
|
\usepackage[margin=3cm]{geometry}
|
|
|
|
\title{DrBrainf*ck -- Changes from original proposal}
|
|
\author{Claudio Maggioni \and Tommaso Rodolfo Masera}
|
|
|
|
\newcommand{\brainfuck}{\emph{Brainf*ck} }
|
|
|
|
\begin{document}
|
|
|
|
\maketitle
|
|
\tableofcontents
|
|
|
|
\section{Interpreter}
|
|
The interpreter has been implemented as planned. All interpreter logic resides in \texttt{interpreter.rkt}.
|
|
This section is entirely functional and uses as the basic data structure the type \texttt{ProgState}.
|
|
The most exotic element in the interpreter is the use of callback functions as arguments in order to handle
|
|
input asynchronously. The test suite is complete in this file.
|
|
|
|
\section{CLI}
|
|
A CLI version of the interpreter is available running the file \texttt{cli.rkt}. The code uses the
|
|
\texttt{command-line} function from \textit{Racket} in order to parse CLI flags and arguments. Since
|
|
the entire implementation relies on imperative elements (like \texttt{read-line} and \texttt{display})
|
|
we were unable to build a function-to-function test suite.
|
|
|
|
\section{GUI}
|
|
The GUI has been implemented with \texttt{\#lang racket/gui}. The implementation is mostly imperative (since
|
|
that is the paradigm \texttt{racket/gui} is built on), and so the test suite is limited to \texttt{bf-lexer}
|
|
and helper functions. Advanced editing functionality has been implemented mostly through \texttt{racket/gui}
|
|
editors and the library \texttt{framework}.
|
|
|
|
\section{Language}
|
|
The languages \texttt{racket/gui} and \texttt{racket} have been used instead of ISL due to greater flexibility
|
|
and functionality.
|
|
|
|
\section{Libraries}
|
|
The most important libraries used are:
|
|
|
|
\begin{description}
|
|
\item[racket/gui] used to implement the GUI and the editor functionality;
|
|
\item[framework] used to add line numbers to the editor and to add syntax highlighting;
|
|
\item[rackunit] used to replace the *SL \texttt{check-\ldots} functions as a testing suite.
|
|
\end{description}
|
|
|
|
\end{document}
|