結果
問題 |
No.716 距離
|
ユーザー |
![]() |
提出日時 | 2018-09-05 19:51:55 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 7 ms / 2,000 ms |
コード長 | 553 bytes |
コンパイル時間 | 10,987 ms |
コンパイル使用メモリ | 169,600 KB |
実行使用メモリ | 8,192 KB |
最終ジャッジ日時 | 2024-11-15 17:20:32 |
合計ジャッジ時間 | 12,610 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 40 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) Main.hs:19:136: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty." | 19 | main = getLine >> readInts >>= mapM_ print . ( <*> ) [ minimum . uncurry ( zipWith (-) ) . ( drop 1 &&& id ), uncurry (-) . ( last &&& head ) ] . pure | ^^^^ [2 of 2] Linking a.out
ソースコード
{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE BangPatterns #-} import Control.Applicative import Control.Monad import Control.Arrow import Data.List import Data.Maybe import Data.Char import qualified Data.ByteString.Char8 as B import Text.Printf readInt = ( readLn :: IO Int ) readInts = map ( read :: String -> Int ) . words <$> getLine which a b f = if f then a else b mp [ a, b ] = ( a, b ) main = getLine >> readInts >>= mapM_ print . ( <*> ) [ minimum . uncurry ( zipWith (-) ) . ( drop 1 &&& id ), uncurry (-) . ( last &&& head ) ] . pure