結果
問題 | No.418 ミンミンゼミ |
ユーザー | Viktor Kronvall |
提出日時 | 2016-09-10 09:02:57 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 3 ms / 1,000 ms |
コード長 | 994 bytes |
コンパイル時間 | 11,419 ms |
コンパイル使用メモリ | 163,460 KB |
実行使用メモリ | 6,632 KB |
最終ジャッジ日時 | 2023-09-23 00:52:05 |
合計ジャッジ時間 | 2,503 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge14 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,572 KB |
testcase_01 | AC | 3 ms
6,580 KB |
testcase_02 | AC | 3 ms
6,540 KB |
testcase_03 | AC | 2 ms
6,560 KB |
testcase_04 | AC | 3 ms
6,596 KB |
testcase_05 | AC | 2 ms
6,516 KB |
testcase_06 | AC | 2 ms
6,556 KB |
testcase_07 | AC | 2 ms
6,632 KB |
testcase_08 | AC | 3 ms
6,528 KB |
testcase_09 | AC | 2 ms
6,528 KB |
testcase_10 | AC | 3 ms
6,580 KB |
testcase_11 | AC | 2 ms
6,504 KB |
testcase_12 | AC | 3 ms
6,576 KB |
testcase_13 | AC | 3 ms
6,492 KB |
testcase_14 | AC | 2 ms
6,504 KB |
testcase_15 | AC | 3 ms
6,568 KB |
testcase_16 | AC | 2 ms
6,556 KB |
testcase_17 | AC | 2 ms
6,520 KB |
testcase_18 | AC | 2 ms
6,500 KB |
testcase_19 | AC | 3 ms
6,572 KB |
testcase_20 | AC | 2 ms
6,500 KB |
testcase_21 | AC | 2 ms
6,532 KB |
testcase_22 | AC | 2 ms
6,560 KB |
testcase_23 | AC | 2 ms
6,464 KB |
testcase_24 | AC | 2 ms
6,512 KB |
testcase_25 | AC | 2 ms
6,632 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
ソースコード
import Control.Applicative newtype Parser a = Parser { parse :: String -> [(a, String)]} instance Functor Parser where fmap f p = Parser $ \str -> [(f x, xs) | (x, xs) <- parse p str] instance Applicative Parser where pure x = Parser $ \str -> [(x, str)] p <*> x = Parser $ \str -> [ (f x, rest') | (f, rest) <- parse p str, (x, rest') <- parse x rest ] instance Alternative Parser where empty = Parser $ \str -> [] p <|> q = Parser $ \str -> case parse p str of [] -> parse q str result -> result satisfy :: (Char -> Bool) -> Parser Char satisfy pred = Parser $ \str -> case str of (x:xs) | pred x -> [(x, xs)] _ -> [] next = satisfy (const True) char c = satisfy (==c) string "" = pure "" string (x:xs) = char x *> string xs *> pure (x:xs) miin = string "mi" *> many (char '-') *> char 'n' main = do str <- getContents let ((x,xs):rest) = parse (many miin) str in print $ length x