Chapters/Future.tex

   1 \chapter[chap:future]{Future work}
   2 \section{Improved notation for hierarchical state}
   3 The hierarchic state model requires quite some boilerplate code for unpacking
   4 and distributing the input state and collecting and repacking the output
   5 state. There is really only one way in which this state handling can be done,
   6 so it would make sense to hide this boilerplate. This would incur no
   7 flexibility cost at all, since there are no other ways that would work.
   8
   9 Options: Misuse the do notation in Haskell, create some abstraction in
  10 Haskell or add new syntax.
  11
  12 \section{Improved notation or abstraction for pipelining}
  13 Since pipelining is a very common optimization for hardware systems, it should
  14 be easy to specify a pipelined system. Since it involves quite some registers
  15 into an otherwise regular combinatoric system, we might look for some way to
  16 abstract away some of the boilerplate for pipelining.
  17
  18 Example of naive pipelined code
  19
  20 Using monadic do does not fit the typing
  21
  22 Using custom combinators would work