Haskell - Do while loop

Question

I'm new to Haskell and would be glad if someone would be willing to help me! I'm trying to get this program to work with a do while loop.

The result from the second getLine command gets put into the varible goGlenn and if goGlenn doesn't equal "start" then the program will return to the beginning

    start = do
    loop $ do lift performAction
        putStrLn "Hello, what is your name?"
        name <- getLine
        putStrLn ("Welcome to our personality test " ++ name ++ ", inspired by the Big Five Theory.") 
        putStrLn "You will receive fifty questions in total to which you can reply with Yes or No."
        putStrLn "Whenever you feel ready to begin please write Start"
        goGlenn <- getLine
        putStrLn goGlenn
    while (goGlenn /= "start")

To add to @chi's answer, the code you've written is more-or-less correct Haskell syntax, but things like loop and while aren't built in. Haskell doesn't actually have do-while loops, it has recursion that you can use to implement do-while loops. Haskell doesn't actually have loops at all, just recursion, you'll have to learn how to re-implement features from imperative languages that you're used instead. — bheklilr
– bheklilr, Commented Feb 25, 2016 at 22:35
@bheklilr I guess gallais is right in their comment below, though: the above code seems to be adapted from the Control.Monad.LoopWhile docs. — chi
– chi, Commented Feb 25, 2016 at 22:39

chi · Accepted Answer · 2016-02-25 22:36:05Z

15

In Haskell you write "loops" recursively, most of the times.

import Control.Monad

-- ....

start = do
    putStrLn "Before the loop!"
    -- we define "loop" as a recursive IO action
    let loop = do
            putStrLn "Hello, what is your name?"
            name <- getLine
            putStrLn $ "Welcome to our personality test " ++ name 
                     ++ ", inspired by the Big Five Theory."
            putStrLn "You will receive fifty questions in total to which you can reply with Yes or No."
            putStrLn "Whenever you feel ready to begin please write Start"
            goGlenn <- getLine
            putStrLn goGlenn
            -- if we did not finish, start another loop
            when (goGlenn /= "start") loop
    loop  -- start the first iteration 
    putStrLn "After the loop!"

edited Feb 25, 2016 at 22:36

answered Feb 25, 2016 at 22:33

chi

117k4 gold badges143 silver badges230 bronze badges

Sign up to request clarification or add additional context in comments.

3 Comments

gallais Over a year ago

I'm guessing OP is trying to use loop-while (see the similarity with the code excerpts). Seeing the list of imports would help.

chi Over a year ago

@gallais Interesting, I did not know of that... Still, I wonder if the OP really wants to use that library, or just wants to achieve the same effect. For a beginner, I'd suggest to learn the basic way first.

user2407038 Over a year ago

Instead of writing let loop = ...; loop, I like to write fix $ \loop -> .... Of course this is purely stylistic.

Ivan David · Accepted Answer · 2016-02-26 18:32:49Z

3

Not sure, maybe this version can helps you:

import Control.Monad

loop action = do
    condition <- action
    when condition (loop action)

while = return

start =
    let action = do {
        putStrLn "Hello, what is your name?";
        name <- getLine;
        putStrLn ("Welcome to our personality test " ++ name ++ ", inspired by the Big Five Theory.");
        putStrLn "You will receive fifty questions in total to which you can reply with Yes or No.";
        putStrLn "Whenever you feel ready to begin please write Start";
        goGlenn <- getLine;
        putStrLn goGlenn;
        while (goGlenn /= "start");
    }
    in loop action

(Edit) or can be too:

start =
    loop (do {
        putStrLn "Hello, what is your name?";
        name <- getLine;
        putStrLn ("Welcome to our personality test " ++ name ++ ", inspired by the Big Five Theory.");
        putStrLn "You will receive fifty questions in total to which you can reply with Yes or No.";
        putStrLn "Whenever you feel ready to begin please write Start";
        goGlenn <- getLine;
        putStrLn goGlenn;
        while (goGlenn /= "start");
    })

edited Feb 26, 2016 at 18:32

answered Feb 25, 2016 at 23:27

Ivan David

3472 silver badges5 bronze badges

3 Comments

chi Over a year ago

If we define a custom helper function loop, I'd be temped to inline the definition of action and directly write loop $ do ....

Ivan David Over a year ago

but there is no problem... (i think so) please check edit in the answer

chi Over a year ago

Yes, both ways are correct. The second one is nicer, at least for me.

Collectives™ on Stack Overflow

Haskell - Do while loop

2 Answers 2

3 Comments

3 Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

3 Comments

3 Comments

Your Answer

Sign up or log in

Post as a guest

Related