codepad
[
create a new paste
]
login
|
about
Language:
C
C++
D
Haskell
Lua
OCaml
PHP
Perl
Plain Text
Python
Ruby
Scheme
Tcl
import Data.STRef import Control.Monad.ST newtype Poly r = Poly (forall s. ST s r) runST' :: Poly r -> r runST' (Poly a) = runST a main = print $ runST' $ Poly (do ref <- newSTRef 42 modifySTRef ref (*2) readSTRef ref )
Private
[
?
]
Run code
Submit