はじめて文字列が出てきた。文字列は文字のリストである。だから++で結合できる。
Prelude> "a" ++ "b"
"ab"
文字列を数に変えるには read を使う。ただし、
s = "12"
main = print(read s)
とするとエラーが出る。どうやらreadは返す値の型が決まっていないらしい。そこで型を決めてやる。
atoi :: [Char] -> Int
atoi s = read s
s = "12"
main = print(atoi s)
最初の行で、atoiという関数の入力と出力の型を指定している。[Char]はCharのリストという意味である。Intはふつうの整数。ここは、多倍長整数のIntegerや倍精度浮動小数点数のDoubleを使ってもよい。
しかし、ここで指定しなくても、
atoi s = read s
inc :: Int -> Int
inc n = n + 1
s = "12"
main = print(inc (atoi s))
incで型指定をすれば、atoiの型を指定しなくても適当に推定してくれる。
s = "73167176531330624919225119674426574742355349194934"
++ "96983520312774506326239578318016984801869478851843"
++ "85861560789112949495459501737958331952853208805511"
++ "12540698747158523863050715693290963295227443043557"
++ "66896648950445244523161731856403098711121722383113"
++ "62229893423380308135336276614282806444486645238749"
++ "30358907296290491560440772390713810515859307960866"
++ "70172427121883998797908792274921901699720888093776"
++ "65727333001053367881220235421809751254540594752243"
++ "52584907711670556013604839586446706324415722155397"
++ "53697817977846174064955149290862569321978468622482"
++ "83972241375657056057490261407972968652414535100474"
++ "82166370484403199890008895243450658541227588666881"
++ "16427171479924442928230863465674813919123162824586"
++ "17866458359124566529476545682848912883142607690042"
++ "24219022671055626321111109370544217506941658960408"
++ "07198403850962455444362981230987879927244284909188"
++ "84580156166097919133875499200524063689912560717606"
++ "05886116467109405077541002256983155200055935729725"
++ "71636269561882670428252483600823257530420752963450"atoi s = [ read [ c ] | c <- s ]
products :: [Int] -> Int -> [Int]
products [] n = []
products (p:ps) n = product (take n (p:ps)) : products ps nmain = print(foldl max 0 (products (atoi s) 5))
takeはリストの最初の指定した個数のリストを作る。productはリストの乗算を返す関数。
