結果
問題 | No.3064 Speedrun (Easy) |
ユーザー |
![]() |
提出日時 | 2025-03-21 21:22:03 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 3 ms / 2,000 ms |
コード長 | 1,252 bytes |
コンパイル時間 | 6,879 ms |
コンパイル使用メモリ | 205,604 KB |
実行使用メモリ | 7,324 KB |
最終ジャッジ日時 | 2025-03-21 21:22:20 |
合計ジャッジ時間 | 7,668 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge7 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 11 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.10.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) Main.hs:36:11: 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"." | 36 | readStr = head <$> readStrs | ^^^^ [2 of 2] Linking a.out
ソースコード
{-# LANGUAGE BangPatterns #-} {-# LANGUAGE BinaryLiterals #-} {-# LANGUAGE MultiWayIf #-} {-# LANGUAGE NumDecimals #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TupleSections #-} {-# LANGUAGE FlexibleContexts #-} {-# OPTIONS_GHC -O2 #-} {-# OPTIONS_GHC -Wno-tabs #-} import Control.Applicative import Control.Arrow import Control.Monad import Control.Monad.ST import Data.Char import Data.List import Data.Maybe import Data.Either import Data.Bool import qualified Data.ByteString.Char8 as B import Data.Array import Data.Array.ST.Safe import Data.STRef import Debug.Trace import Text.Printf readInt = fst . fromJust . B.readInt <$> B.getLine readInteger = fst . fromJust . B.readInteger <$> B.getLine readInts = map ( fst . fromJust . B.readInt ) . B.words <$> B.getLine readIntegers = map ( fst . fromJust . B.readInteger ) . B.words <$> B.getLine readStr = head <$> readStrs readStrs = map B.unpack . B.words <$> B.getLine yesno = bool "No" "Yes" mp [ a, b ] = ( a, b ) modifyArray a i f = writeArray a i =<< f <$> readArray a i printList :: Show a => [a] -> IO () printList = putStrLn . intercalate " " . map show main = do as <- readInts ( bs, [t] ) <- splitAt 4 <$> readInts putStrLn $ yesno $ sum ( zipWith (*) as bs ) <= t