結果

問題 No.182 新規性の虜
コンテスト
ユーザー はむ吉🐹
提出日時 2015-10-18 20:09:11
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
AC  
実行時間 405 ms / 5,000 ms
コード長 281 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 7,362 ms
コンパイル使用メモリ 193,152 KB
実行使用メモリ 39,424 KB
最終ジャッジ日時 2026-06-01 15:52:48
合計ジャッジ時間 13,431 ms
ジャッジサーバーID
(参考情報)
judge2_1 / judge1_1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます
コンパイルメッセージ
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:5:24: 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"."
  |
5 | freq = map (length &&& head) . group . sort
  |                        ^^^^

[2 of 2] Linking a.out

ソースコード

diff #
raw source code

import Data.List (group, sort)
import Control.Arrow ((&&&))

freq :: Ord a => [a] -> [(Int, a)]
freq = map (length &&& head) . group . sort

main :: IO ()
main = do
    _ <- getLine
    print . length . filter ((==) 1 . fst) . freq . map (read :: String -> Int) . words=<< getLine
0