Converting Char to Int in haskell

user_1367497 0
Viewed 26931

I am trying to convert a string (of numbers) into individual digits. There are multiple ways to solve this, one being to map digitToInt "1234"

I was trying a similar approach but instead of using digitToInt, I was trying to use the read::Char->Int function. However I am getting compilation error when I use the above, as in:

map (read::Char->Int) ['1','2']

gives me the following error given below. I am not sure what is wrong here, I am trying to map a function which takes Char over a list of Char, what am I missing?

Please do not tell me of alternate approach as I understand there are several other ways to do this. Just want to understand what is happening here.

Couldn't match type ‘Char’ with ‘[Char]’
      Expected type: Char -> Int
        Actual type: String -> Int
    • In the first argument of ‘map’, namely ‘(read :: Char -> Int)’
haskell
4 Answers

read :: Read a => String -> a converts a string to a Readable element. So if you want to read the digits from a string, you can use:

map (read . pure :: Char -> Int) ['1','2']

but if the characters are digits, it might be better to use the digitToInt :: Char -> Int function:

import Data.Char(digitToInt)

map digitToInt ['1', '2']
user_675790

The problem is read :: Read a => String -> a. So read should be applied to String not to Char. Try this instead:

 map (read :: String -> Int) ["1", "2"]
 -- or
 map read ["1", "2"] :: [Int] -- same but clearer?
user_92712660

You can try doing it this way map (\x -> read (x:[]) :: Int) "12" This should work, if you have any doubts about it just search lambda expressions.

user_106192280

You could try something like that:

toInt x = read x :: Int
map (toInt . (:"")) ['1', '2']
user_78231140
Related