/prog/ - Valid Haskell Code

Name: Anonymous 2012-01-14 23:10

http://tuukka.iki.fi/tmp/haskell-2009-04-23.html



(,) <$> [1..5] <*> [11..15]

[(1,11),(1,12),(1,13),(1,14),(1,15),(2,11),(2,12),(2,13),(2,14),(2,15),(3,1...



const ((((((const . (const .)) .) .) .) .) . flip flip id . ((ap . (flip .) . ((flip .) .)) .) . ((((flip .) .) .) .) . (((((flip .) .) .) .) .) . join . (flip .) . ((flip .) .) . (((flip .) .) .) . ((((flip .) .) .) .) . (((((flip .) .) .) .) .) . flip flip id . (flip .) . ((ap .) .) . (((flip .) .) .) . ((((flip .) .) .) .) . (((((flip .) .) .) .) .) . ((((flip .) .) .) .) . (flip .) . ((flip .) .) . (((flip .) .) .) . flip (flip . (flip .) . ((flip .) .) . flip (flip . (flip .))))

Name: Anonymous 2012-01-16 1:46

>>1
What, nobody checked?

<interactive>:1:479:

    Occurs check: cannot construct the infinite type:

      c1 = a0 -> a2 -> a4 -> (a3 -> a5 -> a1 -> c1) -> a1 -> a2 -> c0

    Expected type: (a5 -> a1 -> c1)

                   -> a1

                   -> a5

                   -> a0

                   -> a2

                   -> a4

                   -> (a3 -> a5 -> a1 -> c1)

                   -> a1

                   -> a2

                   -> c0

      Actual type: (a5 -> a1 -> c1) -> a1 -> a5 -> c1

    In the first argument of `(.)', namely `flip'

    In the second argument of `(.)', namely `(flip .)'

Valid Haskell Code

1 Name: Anonymous 2012-01-14 23:10

13 Name: Anonymous 2012-01-16 1:46

Name: Anonymous 2012-01-14 23:10

Name: Anonymous 2012-01-16 1:46