Convert String to Integer/Float in Haskell?

by

read can parse a string into float and int:

Prelude> :set +t
Prelude> read "123.456" :: Float
123.456
it :: Float
Prelude> read "123456" :: Int
123456
it :: Int

But the problem (1) is in your pattern:

createGroceryItem (a:b:c) = ...

Here : is a (right-associative) binary operator which prepends an element to a list. The RHS of an element must be a list. Therefore, given the expression a:b:c, Haskell will infer the following types:

a :: String
b :: String
c :: [String]

i.e. c will be thought as a list of strings. Obviously it can’t be read or passed into any functions expecting a String.

Instead you should use

createGroceryItem [a, b, c] = ...

if the list must have exactly 3 items, or 

createGroceryItem (a:b:c:xs) = ...

if ≥3 items is acceptable.

Also (2), the expression

makeGroceryItem a read b read c

will be interpreted as makeGroceryItem taking 5 arguments, 2 of which are the read function. You need to use parenthesis:

makeGroceryItem a (read b) (read c)

More Related Contents:

  1. Haskell ranges and floats
  2. What is the difference between Int and Integer?
  3. What is Weak Head Normal Form?
  4. `String’ is applied to too many type arguments
  5. How do I define Lisp’s apply in Haskell?
  6. Operating on a return from a Maybe that contains “Just”
  7. Is there a Haskell idiom for updating a nested data structure?
  8. What’s so bad about Lazy I/O?
  9. Positive integer type
  10. Haskell function composition (.) and function application ($) idioms: correct use
  11. Explicitly import instances
  12. How to compare two functions for equivalence, as in (λx.2*x) == (λx.x+x)?
  13. Why do 3 and x (which was assigned 3) have different inferred types in Haskell? [duplicate]
  14. How do I use fix, and how does it work?
  15. List of different types?
  16. What is Levity polymorphism
  17. How to infer the type of an expression manually
  18. Understanding the Haskell as-pattern
  19. Haskell: How to create most generic function possible that applies a function to tuple items
  20. Concrete example showing that monads are not closed under composition (with proof)?
  21. How to use (->) instances of Monad and confusion about (->)
  22. Why can a Num act like a Fractional?
  23. Composing function composition: How does (.).(.) work?
  24. Why doesn’t TypeSynonymInstances allow partially applied type synonyms to be used in instance heads?
  25. What’s the status of multicore programming in Haskell?
  26. Is there a monad that doesn’t have a corresponding monad transformer (except IO)?
  27. Functional lenses
  28. How does currying work?
  29. How to reuse a type variable in an inner type declaration
  30. How does Haskell printf work?

Leave a Comment