結果

問題 No.143 豆
コンテスト
ユーザー lvs7k
提出日時 2018-09-11 21:43:56
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
AC  
実行時間 3 ms / 1,000 ms
コード長 320 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,744 ms
コンパイル使用メモリ 197,760 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-04-03 14:00:15
合計ジャッジ時間 3,149 ms
ジャッジサーバーID
（参考情報） 		judge5_0 / judge3_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 17
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

module Main where

import Control.Applicative
import Control.Monad

main :: IO ()
main = do
    [k, n, f] <- fmap read . words <$> getLine
    as <- fmap read . words <$> getLine
    let mame = k * n :: Int
    let eat  = sum as
    case mame - eat of
        r | r < 0     -> print (-1)
          | otherwise -> print r
0