結果
| 問題 | No.164 ちっちゃくないよ!! |
| コンテスト | |
| ユーザー |
aimy
|
| 提出日時 | 2017-04-25 11:11:23 |
| 言語 | Haskell (9.14.1) |
| 結果 |
AC
|
| 実行時間 | 6 ms / 2,000 ms |
| コード長 | 290 bytes |
| 記録 | |
| コンパイル時間 | 1,768 ms |
| コンパイル使用メモリ | 195,840 KB |
| 実行使用メモリ | 9,984 KB |
| 最終ジャッジ日時 | 2026-04-04 04:13:45 |
| 合計ジャッジ時間 | 2,470 ms |
|
ジャッジサーバーID (参考情報) |
judge5_1 / judge4_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 11 |
コンパイルメッセージ
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:39: warning: [GHC-63394] [-Wx-partial]
In the use of ‘tail’
(imported from Data.List, 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 = getContents >>= print . dmin . tail . words
| ^^^^
Main.hs:11:17: warning: [GHC-63394] [-Wx-partial]
In the use of ‘head’
(imported from Data.List, 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"."
|
11 | where r = dec (head (reverse (sort d))) + 1
| ^^^^
[2 of 2] Linking a.out
ソースコード
import Data.Char import Data.List main = getContents >>= print . dmin . tail . words dec c = if isDigit c then digitToInt c else ord c - 55 dmin = minimum . map toDecimal toDecimal d = sum $ zipWith (*) (iterate (*r) 1) (reverse (map dec d)) where r = dec (head (reverse (sort d))) + 1
aimy