diff options
| author | Artem Pelenitsyn <a.pelenitsyn@gmail.com> | 2018-08-21 16:07:39 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-08-21 18:56:12 -0400 |
| commit | 8546afc502306de16b62c6386fe419753393cb12 (patch) | |
| tree | 23a06decdd856145268f8a8fa2c34a391357a75b /docs/rts | |
| parent | c6f4eb4f8bc5e00024c74198ab9126bf1750db40 (diff) | |
| download | haskell-8546afc502306de16b62c6386fe419753393cb12.tar.gz | |
docs: "state transformer" -> "state monad" / "ST" (whichever is meant)
FIxes #15189.
Reviewers: hvr, bgamari, simonmar, simonpj
Reviewed By: simonpj
Subscribers: simonpj, rwbarton, thomie, carter
GHC Trac Issues: #15189
Differential Revision: https://phabricator.haskell.org/D5019
Diffstat (limited to 'docs/rts')
| -rw-r--r-- | docs/rts/rts.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/rts/rts.tex b/docs/rts/rts.tex index 2260b079d1..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 |