\item How can we describe (hierarchical) structure in a design?
\stopitemize
- functional perspective:
+ And subquestions from a functional perspective:
\startitemize
\item How to interpret recursion in descriptions?
\item How to interpret polymorphism?
\item How to interpret higher order in descriptions?
\stopitemize
+ In addition to looking at designing a hardware description language, we
+ will also implement a prototype to test drive our ideas. This prototype will
+ translate hardware descriptions written in the Haskell functional language
+ to simple (netlist-like) hardware descriptions in the \VHDL language. The
+ reasons for choosing these languages are detailed in section
+ \in{}[sec:prototype:input] and \in{}[sec:prototype:output] respectively.
+
\section{Outline}
In the first chapter, we will sketch the context for this research.