fork download
copy 
  1. type Adder = Int -> Int
  2.  
  3. makeAdder :: (Int -> Int -> Int) -> Int -> Adder
  4. makeAdder f = f
  5.  
  6. makeGoodAdder = makeAdder (+)
  7. makeBadAdder  = makeAdder (*)
  8.  
  9. testAdder cons delta value = let adder = cons delta in
  10. 	value + delta == adder value
  11.  
  12. main = do
  13. 	print $ testAdder makeGoodAdder 2 3
  14. 	print $ testAdder makeBadAdder  2 3
  15.  
Success #stdin #stdout 0s 4684KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
True
False
https://ideone.com/mElS3J
language:
Haskell (ghc 8.4.4)
created:
10 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!