Here is my situation: I have a state monad. It seems to me that
if states are built out of lazy types, then there may be many
states all live at the same time, thus blowing up the space.
But deep in my state data types, I have strings. Also some
monad operations return strings. So I need
It was said long ago that these strict fields help to somewhat
increase the performance. For example, Ratio uses this (?).
The next version of ghc will make further use of strictness annotations on
constructors by unboxing/unpacking strict fields. eg.
data T = T !Int
will
On a related topic, is there a good way to have strict
strings. Should I just create my own type or is there
something already in the library.
Here is my situation: I have a state monad. It seems to me that
if states are built out of lazy types, then there may be many
states all live at the