Note the use of tuples for hierarchic state.
authorMatthijs Kooijman <matthijs@stdin.nl>
Thu, 3 Dec 2009 17:23:51 +0000 (18:23 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Thu, 3 Dec 2009 17:23:51 +0000 (18:23 +0100)
Chapters/HardwareDescription.tex

index 04b660b..f5c0eaa 100644 (file)
@@ -804,7 +804,9 @@ acc in s = (s', out)
         has to somehow know the current state for these called functions. The
         only way to do this, is to put these \emph{substates} inside the
         caller's state. This means that a function's state is the sum of the
-        states of all functions it calls, and its own state.
+        states of all functions it calls, and its own state. This sum
+        can be obtained using something simple like a tuple, or possibly
+        custom algebraic types for clarity.
 
         This also means that the type of a function (at least the "state"
         part) is dependent on its own implementation and of the functions it