From 78b70074b6d6829b4bb3912fc4a18ec2f29cf270 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Thu, 3 Dec 2009 18:23:51 +0100 Subject: [PATCH] Note the use of tuples for hierarchic state. --- Chapters/HardwareDescription.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex index 04b660b..f5c0eaa 100644 --- a/Chapters/HardwareDescription.tex +++ b/Chapters/HardwareDescription.tex @@ -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 -- 2.30.2