For example, Elliott et al.\ describe the language Pan, for which the final representation in the host language is a compiler that will, when executed, generate code for a completely different target platform~\cite{elliott_compiling_2003}.
In fact, \gls{ITASK} and \gls{MTASK} are both heterogeneous \glspl{EDSL}.
-\section{Functional programming}\label{ssec:functional programming}
-\Gls{FP} is \ldots
-\Gls{FP} languages are naturally suitable as a host language for \gls{DSL} embedding because of their rich type systems and minimal and extensible syntax~\cite{gibbons_functional_2015}.
-
\section{Task-oriented programming}
\Gls{TOP} is a declarative programming paradigm designed to model interactive systems~\cite{plasmeijer_task-oriented_2012}.
Instead of dividing problems into layers or tiers, as is done in \gls{IOT} architectures as well, it deals with separation of concerns in a novel way.
The thesis wraps up with \cref{chp:conclusion} that provides a conclusion and an outlook on future work.
\subsection{\Cref{prt:dsl}: Domain-specific languages}
-This movement is a cumulative or paper-based movement that focusses on techniques for embedding \glspl{DSL} in functional programming lanugages.
+This movement is a cumulative---paper-based---movement that focusses on techniques for embedding \glspl{DSL} in functional programming lanugages.
After reading the first chapter, subsequent chapters in this movement are readable as independently.
\subsubsection{\Cref{chp:dsl_embedding_techniques}}
-This chapter shows all the basic techniques and compares the properties of several embedding methods.
+This chapter shows the basic \gls{DSL} embedding techniques and compares the properties of several embedding methods.
This chapter is not based on a paper and written as a background for the subsequent chapters in the movement.
\subsubsection{\Cref{chp:classy_deep_embedding}}
This chapter is based on the paper: \emph{First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming}~\todo{cite when accepted}.
The research in this paper and writing the paper was performed by me, though there were weekly meetings with Pieter Koopman and Rinus Plasmeijer in which we discussed and refined the ideas.
-
-\subsubsection{\Cref{chp:strongly-typed_multi-view_stack-based_computations}} shows how to use advanced \gls{DSL} techniques to embed type safe stack-based computations in a host language.
-This chapter is based on the paper: \emph{Strongly-Typed Multi-View Stack-Based Computations}~\todo{cite when accepted}.
-\todo{Zal ik dit paper wel opnemen? Aangezien Pieter het grotendeels gedaan heeft?}
-
-I supported Pieter Koopman in performing the research in this paper by writing some of the software.
-The paper was mostly written by Pieter Koopman\todo{probably will be}.
+%
+%\subsubsection{\Cref{chp:strongly-typed_multi-view_stack-based_computations}} shows how to use advanced \gls{DSL} techniques to embed type safe stack-based computations in a host language.
+%This chapter is based on the paper: \emph{Strongly-Typed Multi-View Stack-Based Computations}~\todo{cite when accepted}.
+%\todo{Zal ik dit paper wel opnemen? Aangezien Pieter het grotendeels gedaan heeft?}
+%
+%I supported Pieter Koopman in performing the research in this paper by writing some of the software.
+%The paper was mostly written by Pieter Koopman\todo{probably will be}.
\subsection{\Cref{prt:top}: Task-oriented \texorpdfstring{\acrlong{IOT}}{internet of things} programming }
This part is a monograph focussing on \glspl{TOP} for the \gls{IOT}.
These revised lecture notes are from a course on sustainable programming using \gls{MTASK} provided at the 2022 Sustrainable summer school in Rijeka, Croatia.
- Pieter prepared half of the lecture. I wrote the lecture notes, prepared the other half of the lecture, the assignments and the practical session.
+ Pieter prepared half of the lecture and wrote the introduction.
+ I wrote the middle part of the lecture notes, prepared the other half of the lecture, the assignments and the practical session.
\end{itemize}
The movement is made up out of the following chapters
repositories / phd-thesis.git / blobdiff