diff options
| author | Kavon Farvardin <kavon@farvard.in> | 2018-09-23 15:29:37 -0500 |
|---|---|---|
| committer | Kavon Farvardin <kavon@farvard.in> | 2018-09-23 15:29:37 -0500 |
| commit | 84c2ad99582391005b5e873198b15e9e9eb4f78d (patch) | |
| tree | caa8c2f2ec7e97fbb4977263c6817c9af5025cf4 /docs/rts/rts.tex | |
| parent | 8ddb47cfcf5776e9a3c55fd37947c8a95e00fa12 (diff) | |
| parent | e68b439fe5de61b9a2ca51af472185c62ccb8b46 (diff) | |
| download | haskell-wip/T13904.tar.gz | |
update to current master againwip/T13904
Diffstat (limited to 'docs/rts/rts.tex')
| -rw-r--r-- | docs/rts/rts.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/rts/rts.tex b/docs/rts/rts.tex index 4337bb1f8e..bd54824707 100644 --- a/docs/rts/rts.tex +++ b/docs/rts/rts.tex @@ -310,7 +310,7 @@ argument: there's no cost for adding another argument. But functions can only return one result: the cost of adding a second ``result'' is that the function must construct a tuple of ``results'' on the heap. The asymmetry is rather galling and can make certain programming -styles quite expensive. For example, consider a simple state transformer +styles quite expensive. For example, consider a simple state monad: \begin{verbatim} > type S a = State -> (a,State) @@ -321,7 +321,7 @@ monad: \end{verbatim} Here, every use of @returnS@, @getS@ or @setS@ constructs a new tuple in the heap which is instantly taken apart (and becomes garbage) by -the case analysis in @bind@. Even a short state-transformer program +the case analysis in @bind@. Even a short program using the state monad will construct a lot of these temporary tuples. Unboxed tuples provide a way for the programmer to indicate that they @@ -2049,7 +2049,7 @@ The only label associated with a thunk is its info table: \Subsubsection{Byte-code objects}{BCO} -A Byte-Code Object (BCO) is a container for a a chunk of byte-code, +A Byte-Code Object (BCO) is a container for a chunk of byte-code, which can be executed by Hugs. The byte-code represents a supercombinator in the program: when Hugs compiles a module, it performs lambda lifting and each resulting supercombinator becomes a |