結果
| 問題 | No.627 ランダムウォークの軌跡 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2019-04-07 16:08:43 |
| 言語 | Haskell (9.14.1) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 305 bytes |
| 記録 | |
| コンパイル時間 | 8,398 ms |
| コンパイル使用メモリ | 196,224 KB |
| 実行使用メモリ | 7,720 KB |
| 最終ジャッジ日時 | 2026-03-14 12:23:56 |
| 合計ジャッジ時間 | 8,868 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge1_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 13 WA * 20 |
コンパイルメッセージ
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:7:41: warning: [GHC-63394] [-Wx-partial]
In the use of ‘tail’
(imported from Prelude, but defined in GHC.Internal.List):
"This is a partial function, it throws an error on empty lists. Replace it with 'drop' 1, or use pattern matching or 'GHC.Internal.Data.List.uncons' instead. Consider refactoring to use "Data.List.NonEmpty"."
|
7 | | all (== 1) (map abs (zipWith (-) (tail ts) (init ts))) = "T"
| ^^^^
[2 of 2] Linking a.out
ソースコード
import Data.Bool (bool)
import Control.Monad (replicateM)
solve :: [Int] -> String
solve ts
| any (== 0) ts = "F"
| all (== 1) (map abs (zipWith (-) (tail ts) (init ts))) = "T"
| otherwise = "F"
main = do
n <- readLn
ts <- map read <$> replicateM n getLine
putStrLn $ solve ts