結果
| 問題 | No.365 ジェンガソート |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2016-05-01 06:24:27 |
| 言語 | Haskell (9.14.1) |
| 結果 |
AC
|
| 実行時間 | 91 ms / 2,000 ms |
| コード長 | 475 bytes |
| 記録 | |
| コンパイル時間 | 1,447 ms |
| コンパイル使用メモリ | 198,272 KB |
| 実行使用メモリ | 10,112 KB |
| 最終ジャッジ日時 | 2026-04-28 12:59:19 |
| 合計ジャッジ時間 | 5,341 ms |
|
ジャッジサーバーID (参考情報) |
judge1_1 / judge3_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 41 |
コンパイルメッセージ
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:6:51: 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"."
|
6 | main = print . snd . foldl' f (0, 0) . map read . tail . words =<< getContents
| ^^^^
[2 of 2] Linking a.out
ソースコード
-- yukicoder My Practice
-- author: Leonardone @ NEETSDKASU
import Data.List (foldl')
main = print . snd . foldl' f (0, 0) . map read . tail . words =<< getContents
where
f (mx, ans) nm =
if nm > mx
then
(nm, ans)
else
if nm > ans
then
(mx, nm)
else
(mx, ans)