import System.IO
main :: IO ()
main = readFile "src.txt" >>= writeFile "dst.txt" . toText . toString . toX3Double . split
where
split = map words . lines
toX3Double = (map . map) ((*3) . read) :: [[String]] -> [[Double]]
toString = (map . map) show
toText = unlines . map unwords
허접해서 불필요하게 장황하다는 느낌을 지울 수가 없네요...
아무튼 정상적으로 입출력은 됩니다
Double이란거 명시하려고 toX3Double과 toString을 불리한 것 같은데 read의 타입을 (read :: String -> Double)로 명시하면 하나로 합칠 수 있을 듯 근데 나도 허접해서 ㅋㅋ