[Haskell-cafe] Re: Where do I put the seq?
dave at zednenem.com
Thu Aug 20 23:03:10 EDT 2009
On Thu, Aug 20, 2009 at 6:57 PM, Peter Verswyvelen<bugfact at gmail.com> wrote:
> On Thu, Aug 20, 2009 at 11:23 PM, David Menendez <dave at zednenem.com> wrote:
>> The important things to note are (1) getChar# depends on the token
>> returned by putChar#, thus guaranteeing that putChar# gets executed
>> first, and (2) putChar# and getChar# are impure and cannot normally be
>> defined in Haskell.
> Ok, that I understand. But if getChar# and putChar# would be pure functions
> that just generate some output string / consume some input string, then this
> realworld token passing would not work when used with interact, since
> neither the output or input string really depends on the dummy token, unless
> using a seq again (or strictness annotation, which was explained to be just
> syntactic sugar for seq)?
I'm not sure I understand your question, but I think it's possible to
use interact in the way you want. For example, this code behaves
correctly for me:
foo i =
let i1 = lines i
in "Enter your name: " ++
(case i1 of
 -> error "EOF"
name:i2 -> "Welcome " ++ name ++ "\n")
Prelude> interact foo
Enter your name: Bob
Note the dependencies here. When you call interact foo, the prompt can
be immediately output without reading any of the input. However,
"Welcome" cannot be printed until one line of the input has been read
(or EOF reached) because it's inside the pattern match on i1.
> But how would we then make a pure monad that can
> be used as in my example together with interact? I see no reason why to put
> everything in IO when it just comes to converting a stream of inputs to a
> stream of outputs? So interact really is useless, unless you just fmap
> something over the input or when the output is independent from the input?
Not necessarily. Your situation reminds me of Haskell's I/O system
before the IO monad was introduced. (See section 7 of "A History of
Haskell: Being Lazy With Class" for details.
In it, they describe how older versions of Haskell could be defined in
terms of lazy request and response streams, how you can use
continuation-passing to build the streams in a more localized way, and
then how you could define the IO monad in terms of that.
This works for me:
type Behavior = [String] -> String
type MyIO = Cont Behavior
putLine :: String -> MyIO ()
putLine s = Cont $ \k ss -> s ++ k () ss
getLine :: MyIO String
getLine = Cont $ \k (s:ss) -> k s ss
run :: MyIO () -> Behavior
run m = runCont m (\_ _ -> )
foo = do
putLine "Enter name: "
name <- getLine
putLine ("Welcome " ++ name ++ "\n")
Prelude Control.Monad.Cont> interact (run foo . lines)
Enter name: Dave
It may be instructive to manually expand "run foo".
Dave Menendez <dave at zednenem.com>
More information about the Haskell-Cafe