2012-09-21から1日間の記事一覧

readで([ [String] ] -> [ [Int] ])の変換

String を Intに変換するやり方を教えてもらって、分かったのでメモしとく。 {- --間違った書き方 test_1 :: [[String] -> [[Int]] test_1 = map (\x -> map (\y -> read y :: Int)) [["123", "12"], ["234", "324"]] -} test0, test4 :: [[Int]] test1, tes…