結果
| 問題 | No.446 ゆきこーだーの雨と雪 (1) |
| コンテスト | |
| ユーザー |
e7a894
|
| 提出日時 | 2018-05-24 12:56:48 |
| 言語 | Haskell (9.14.1) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 245 bytes |
| 記録 | |
| コンパイル時間 | 2,821 ms |
| コンパイル使用メモリ | 195,968 KB |
| 実行使用メモリ | 7,720 KB |
| 最終ジャッジ日時 | 2026-03-17 15:36:32 |
| 合計ジャッジ時間 | 2,349 ms |
|
ジャッジサーバーID (参考情報) |
judge1_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 WA * 1 |
| other | AC * 9 WA * 4 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main ( Main.hs, Main.o )
Main.hs:8:68: warning: [GHC-63394] [-Wx-partial]
In the use of ‘head’
(imported from Prelude, but defined in GHC.Internal.List):
"This is a partial function, it throws an error on empty lists. Use pattern matching, 'Data.List.uncons' or 'Data.Maybe.listToMaybe' instead. Consider refactoring to use "Data.List.NonEmpty"."
|
8 | judge x = (and $ map (`elem` ['0'..'9']) x) && if length x == 1 && head x /= '0' then False else True
| ^^^^
[2 of 2] Linking a.out
ソースコード
import Control.Monad main = do [a,b] <- replicateM 2 getLine putStrLn $ if judge a && judge b then "OK" else "NG" judge :: String -> Bool judge x = (and $ map (`elem` ['0'..'9']) x) && if length x == 1 && head x /= '0' then False else True
e7a894