Lambda fails

(define a
  (lambda (x)
    (not (x x))))
(a a)

SHIT BRICKS

babby learns procedure stack overflow

> (halts? (a a))
#f

The definition of halts? is left as an excercise for the reader.

http://en.wikipedia.org/wiki/Kleene-Rosser_paradox

(call/cc call/cc)

http://en.wikipedia.org/wiki/Fixed_point_combinator

http://en.wikipedia.org/wiki/Lolcat

http://en.wikipedia.org/wiki/Your_gay

This page has been deleted. The deletion log for the page is provided below for reference.

03:41, 14 February 2009 PMDrive1061 (talk | contribs) deleted "Your gay" ‎ (G1: Patent nonsense, meaningless, or incomprehensible)

>>5
Welcome to MzScheme v4.0 [cgc], Copyright (c) 2004-2008 PLT Scheme Inc.
(call/cc call/cc)
#<continuation>
((call/cc call/cc) (call/cc call/cc))
...

>>10 Yeah that's the one! I dont have a scheme

>>4
FUCK.

>>12
I invented the meme of bolding the dot at the end of a sentence. That's my meme.

>>13
Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so[m].[/m]

Test.

Test.

Test[size=1]THE GAME[/size]

Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.

Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.  Excuse me, but that dot at the end of the sentence is enclosed in [m] tags, like so.

>>1
Prelude> let a f = not $ f f

<interactive>:1:16:
    Occurs check: cannot construct the infinite type: t = t -> Bool
    Probable cause: `f' is applied to too many arguments
    In the second argument of `($)', namely `f f'
    In the expression: not $ f f

>>20 http://okmij.org/ftp/ML/fixpoints.ml

>>21
We didn't call the Oleg!!

Lambda fails
obviously:
Prelude> take 20 $ (\x -> map x [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.10 secs, 3348836 bytes)
Prelude> take 20 $ (flip map [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.03 secs, 1046272 bytes)

>>23
EXPERT BENCHMARKER

>>24
Prelude> take 20 $ (flip map [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.03 secs, 4482144 bytes)
Prelude> take 20 $ (\x -> map x [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.01 secs, 1048896 bytes)

>>25
Prelude> take 20 $ (flip map [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.03 secs, 1047184 bytes)
Prelude> take 20 $ (\x -> map x [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.03 secs, 1050216 bytes)
Prelude> take 20 $ (flip map [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.02 secs, 1046072 bytes)
Prelude> take 20 $ (\x -> map x [1..]) sqrt
[1.0,1.4142135623730951,1.7320508075688772,2.0,2.23606797749979,2.449489742783178,2.6457513110645907,2.8284271247461903,3.0,3.1622776601683795,3.3166247903554,3.4641016151377544,3.605551275463989,3.7416573867739413,3.872983346207417,4.0,4.123105625617661,4.242640687119285,4.358898943540674,4.47213595499958]
(0.03 secs, 1050216 bytes)

Prelude> sum $ take 100000 $ (\x -> map x [1..]) sqrt
2.1082008973917928e7
(0.18 secs, 22560092 bytes)
Prelude> sum $ take 100000 $ (flip map [1..]) sqrt
2.1082008973917928e7
(0.18 secs, 22566236 bytes)

Prelude> sum $ take 100000 $ (\x -> map x [1..]) sqrt
2.1082008973917928e7
(0.10 secs, 22563496 bytes)
Prelude> sum $ take 100000 $ (flip map [1..]) sqrt
2.1082008973917928e7
(0.10 secs, 22570596 bytes)

(0.10 secs, 22570596 bytes)
How to turn on this thing?

The GHCi might not be very indicative of how these lists would compil. It is, after all, an evaluator.

compile

>>29
:set +s

I HELPED HIM!

>>32
ghci manual doesn't say that, so it's ok.

>>33
actually, it does: http://www.haskell.org/ghc/docs/latest/html/users_guide/ghci-set.html#id2599078

>>33
GHCi itself says that.  You'd have to be some kind of clueless moron to not have it enabled already.

OP is a rote learner.

>>35
GHCi itself says that.  In the source.  >>33 has to be some kind of clueless moron to not have it enabled already.

Has anyone here READ GEB ?!?!?!

>>38
Quine my anus.

43 Name: Anonymous 2010-12-06 9:36

^{Back to /b/, ``GNAA Faggot''}