Kyselyt

input/code.hs:3:1: Warning:
    Top-level binding with no type signature:
      skipsum :: forall a. Integral a => a -> a

input/code.hs:6:19: Warning:
    This binding for `n' shadows the existing binding
      bound at input/code.hs:3:9

input/code.hs:13:1: Warning:
    Top-level binding with no type signature:
      num :: Integer -> (Integer, Integer)

input/code.hs:19:1: Warning:
    Top-level binding with no type signature: main :: IO ()

input/code.hs:21:15: Warning:
    Defaulting the following constraint(s) to type `Integer'
      (Enum a0)
        arising from the arithmetic sequence `1 .. n'
        at input/code.hs:21:15-20
      (Num a0) arising from the literal `1' at input/code.hs:21:16
      (Read a0) arising from a use of `readLn' at input/code.hs:20:14-19
    In the first argument of `forM_', namely `[1 .. n]'
    In the expression: forM_ [1 .. n]
    In a stmt of a 'do' block:
      forM_ [1 .. n]
      $ const
        $ do { m <- readLn;
               let (res, po...

import Control.Monad

skipsum n = sum (map f [1..n])
	where
		-- f 1 = 10
		f n = (10^n - 10^(n-1)) * n

-- Log10 of the number at positon n
poslog :: Integer -> Integer
poslog n = head $ filter (\x -> skipsum x > n) [1..]

-- Number at position n
num n = let
	l = poslog n
	r = n - skipsum (l-1)
	b = 10^(l-1) 
	in (b + (r `div` l), r `mod` l)

main = do
	n <- readLn
	forM_ [1..n] $ const $ do
		m <- readLn
		let (res, pos) = num $ m - 1
		putChar $ (!! (fromIntegral pos)) $ show res
		putChar '\n'

Test 1

Group: 1

Verdict: ACCEPTED

Test 2

Group: 2

Verdict: ACCEPTED

Test 3

Group: 3

Verdict: ACCEPTED