結果
| 問題 | No.716 距離 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2019-12-13 00:41:11 |
| 言語 | Haskell (9.14.1) |
| 結果 |
AC
|
| 実行時間 | 5 ms / 2,000 ms |
| + 362µs | |
| コード長 | 313 bytes |
| 記録 | |
| コンパイル時間 | 7,964 ms |
| コンパイル使用メモリ | 191,360 KB |
| 実行使用メモリ | 10,368 KB |
| 最終ジャッジ日時 | 2026-07-30 05:38:38 |
| 合計ジャッジ時間 | 10,009 ms |
|
ジャッジサーバーID (参考情報) |
judge1_0 / judge3_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 40 |
コンパイルメッセージ
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:4:120: 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"."
|
4 | main = interact $ unlines . map show . zipWith ($) [minimum . foldl1 (zipWith ((.) abs . subtract)) . zipWith ($) [id, tail] . repeat . concat . replicate 2, foldl1 subtract . zipWith ($) [minimum, maximum] . repeat] . repeat . map read . tail . words
| ^^^^
Main.hs:4:240: 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"."
|
4 | main = interact $ unlines . map show . zipWith ($) [minimum . foldl1 (zipWith ((.) abs . subtract)) . zipWith ($) [id, tail] . repeat . concat . replicate 2, foldl1 subtract . zipWith ($) [minimum, maximum] . repeat] . repeat . map read . tail . words
| ^^^^
[2 of 2] Linking a.out
ソースコード
-- Practice yukicoder -- author: Leonardone @ NEETSDKASU main = interact $ unlines . map show . zipWith ($) [minimum . foldl1 (zipWith ((.) abs . subtract)) . zipWith ($) [id, tail] . repeat . concat . replicate 2, foldl1 subtract . zipWith ($) [minimum, maximum] . repeat] . repeat . map read . tail . words