fork download
copy 
  1.  
  2. data Foo a = F (Foo a -> a -> a)
  3.  
  4. foo :: Foo a -> Foo a -> a -> a
  5. foo (F f) g x = f g x
  6.  
  7. m = F (\f x -> if x > 10 then x else foo f m (x + 1))
  8. --m = F (\f x -> foo f m (x + 1))
  9. n = F (\f x -> foo f n (x + 1))
  10.  
  11. main = print $ foo n m 5
Success #stdin #stdout 0s 5724KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
12
https://ideone.com/PWSaMX
language:
Haskell (ghc 8.4.4)
created:
11 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!