結果

問題 No.143 豆
ユーザー nobsun
提出日時 2018-06-17 17:14:27
言語 Haskell
(9.10.1)
結果
AC  
実行時間 3 ms / 1,000 ms
コード長 229 bytes
コンパイル時間 4,054 ms
コンパイル使用メモリ 174,848 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-23 11:00:52
合計ジャッジ時間 4,725 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 17
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

module Main where

import Data.Bool

main :: IO ()
main = do
  { [k,n,f] <- getInts
  ; xs      <- getInts
  ; let r = k*n - sum xs
  ; print $ bool (-1) r (r >= 0)
  }

getInts :: IO [Int]
getInts = map read . words <$> getLine
0