結果

問題 No.304 鍵(1)
ユーザー はむ吉🐹はむ吉🐹
提出日時 2016-04-21 21:36:33
言語 Haskell
(9.8.2)
結果
AC  
実行時間 75 ms / 2,000 ms
コード長 428 bytes
コンパイル時間 11,377 ms
コンパイル使用メモリ 161,572 KB
実行使用メモリ 26,900 KB
平均クエリ数 309.17
最終ジャッジ日時 2023-09-23 23:48:42
合計ジャッジ時間 4,288 ms
ジャッジサーバーID
(参考情報)
judge15 / judge12
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 44 ms
24,036 KB
testcase_01 AC 31 ms
23,924 KB
testcase_02 AC 75 ms
26,900 KB
testcase_03 AC 31 ms
24,300 KB
testcase_04 AC 55 ms
26,684 KB
testcase_05 AC 31 ms
24,012 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #

import System.IO (hFlush, stdout)
import Text.Printf (printf)

data Status = Locked | Unlocked deriving (Enum, Show)

submit :: Int -> IO Status
submit n = do
    printf "%03d\n" n
    hFlush stdout
    s <- getLine
    return $ if s == "locked" then Locked else Unlocked

loop :: Int -> IO ()
loop i = do
    s <- submit i
    case s of
        Locked -> loop $ i + 1
        Unlocked -> return ()

main :: IO ()
main = loop 0
0