Kertoma

input/code.hs:3:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      factorials :: [(Integer, Integer)]
  |
3 | factorials = zip [1..] $ scanl1 (*) [1..]
  | ^^^^^^^^^^

input/code.hs:3:19: warning: [-Wtype-defaults]
    * Defaulting the following constraints to type `Integer'
        (Num a0) arising from the literal `1' at input/code.hs:3:19
        (Enum a0)
          arising from the arithmetic sequence `1 .. '
          at input/code.hs:3:18-22
        (Show a0) arising from a use of `show' at input/code.hs:15:19-22
    * In the expression: 1
      In the first argument of `zip', namely `[1 .. ]'
      In the expression: zip [1 .. ]
  |
3 | factorials = zip [1..] $ scanl1 (*) [1..]
  |                   ^

input/code.hs:3:33: warning: [-Wtype-defaults]
    * Defaulting the following constraints to type `Integer'
        (Num b0) arising from a use of `*' at input/code.hs:3:33-35
        (Enum b0)
          arising from the arithmetic sequence `...

import Data.List

factorials = zip [1..] $ scanl1 (*) [1..]

factorial n = product [1..n]

digits' xs ys n
    | null ys = xs
    | otherwise = digits' (xs ++ [length nums]) (tail ys) rest
    where
        (nums, rest) = partition ((==) $ head ys) n

digits n = digits' [] ['0'..'9'] $ show n

main = interact $ show . fst . head . (\ns -> filter ((ns==) . (digits . snd)) $ dropWhile ((<) (sum ns) . length . show . snd) factorials) . map (read) . words
--main = interact $ show . head . (\ns -> filter ((ns==) . (digits . factorial)) [(fst $ head $ filter ((==) (sum ns) . length . show . snd) factorials)..]) . map (read) . words

Test 1

Group: 1, 2, 3

Verdict: ACCEPTED

Test 2

Group: 1, 2, 3

Verdict: ACCEPTED

Test 3

Group: 1, 2, 3

Verdict: ACCEPTED

Test 4

Group: 1, 2, 3

Verdict: ACCEPTED

Test 5

Group: 1, 2, 3

Verdict: ACCEPTED

Test 6

Group: 1, 2, 3

Verdict: ACCEPTED

Test 7

Group: 2, 3

Verdict: ACCEPTED

Test 8

Group: 2, 3

Verdict: ACCEPTED

Test 9

Group: 2, 3

Verdict: ACCEPTED

Test 10

Group: 2, 3

Verdict: ACCEPTED

Test 11

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 12

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 13

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 14

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 15

Group: 3

Verdict: TIME LIMIT EXCEEDED

Test 16

Group: 3

Verdict: TIME LIMIT EXCEEDED