Non exhaustive pattern in function in GHCi

by

If you use a let in each line, each definition will make a new function named myLast, shadowing all the previous definitions. So what you end up with is equivalent to

GHCi> let myLast (x:xs) = myLast xs

alone.

What you probably want is to make a haskell file, say MyLast.hs, containing

module MyLast where

myLast :: [a] -> a
myLast [] = error 
myLast [x] = x
myLast (x:xs) = myLast xs

you can then load that file into GHCi with ghci MyLast.hs.

The keyword let is only needed when you’re already in GHCi (or, in some monad like IO, or in another function) and want to make a local definition. But then you must only use the let once, e.g.

GHCi> let myLast :: [a]->a; myLast [] = error; myLast [x] = x; myLast (x:xs) = myLast xs

or

twiceLast :: [Int] -> [Int]
twiceLast = let myLast [] = error 
                myLast [x] = x
                myLast (x:xs) = myLast xs
            in \xs -> 2 * last xs

which I would, however, prefer to write as

twiceLast = (2*) . myLast
 where myLast [] = error 
       myLast [x] = x
       myLast (x:xs) = myLast xs

More Related Contents:

  1. How to compose `not` with a function of arbitrary arity?
  2. Uses for Haskell id function
  3. Haskell operator vs function precedence
  4. Table name as a PostgreSQL function parameter
  5. What is the difference between a “function” and a “procedure”?
  6. :sprint for polymorphic values?
  7. Multi-line commands in GHCi
  8. Is there a way to use two ‘…’ statements in a function in R?
  9. What decides if a value is returned from a PowerShell function?
  10. How is the square root function implemented? [closed]
  11. How to alias a function name in Fortran
  12. Static vs class functions/variables in Swift classes?
  13. How to profile methods in Scala?
  14. Whats the difference of functions and methods in Go?
  15. Return a list from the function using OUT parameter
  16. Define a recursive function within a function in Go
  17. “Identifier Expected” or “Invalid Prototype” when implementing a scripted constant in Inno Setup
  18. Exporting a function in shell
  19. D3 Key Function
  20. Prefix form of unary operator in Haskell
  21. Two ways of defining functions in Scala. What is the difference?
  22. Kotlin: How can I create a “static” inheritable function?
  23. use onedit() trigger on a specific sheet within google scripts for google sheets
  24. MsgBox “” vs MsgBox() in VBScript
  25. Scala Functional Literals with Implicits
  26. Does dart support operator overloading
  27. Return multiple values from a function in swift
  28. How many lines of code should a function/procedure/method have? [duplicate]
  29. Proper use of modules in Fortran
  30. Why :sprint always prints a “_”?

Leave a Comment