/prog/ - whta the fuck is lambda

Name: Anonymous 2008-10-04 15:00

HUHL????

Name: sage 2008-10-04 15:58

A Greek letter.

Name: Anonymous 2008-10-04 16:49

λ

Name: Anonymous 2008-10-04 16:49

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

Name: Anonymous 2008-10-04 17:49

>>3
How did you get that upside down `y'?

Name: Anonymous 2008-10-04 17:55

>>5
Λ

Name: Anonymous 2008-10-04 18:08

Gentlemen, behold... SIDEWAYS LAMBDA

⋋

Name: Anonymous 2008-10-04 18:16

>>6
wrong

Name: Anonymous 2008-10-04 18:36

⋋...λ—just looks a little squashed to me.

Name: Anonymous 2008-10-05 9:33

>>7
Name : LEFT SEMIDIRECT PRODUCT
Unicode : 22CB
UTF8 : E2 8B 8B

Name: Anonymous 2008-10-05 9:35

⋚
Name : LESS-THAN EQUAL TO OR GREATER-THAN
Unicode : 22DA
UTF8 : E2 8B 9A

⋛
Name : GREATER-THAN EQUAL TO OR LESS-THAN
Unicode : 22DB
UTF8 : E2 8B 9B

Name: Anonymous 2008-10-05 14:38

>>11
The most useful characters ever.

Only useful in a system where a is not necessarily equal to b even if neither are lesser than the other.

Name: Anonymous 2008-10-05 15:54

Does Unicode have the spaceship operator <=>?

Name: Anonymous 2008-10-05 16:15

>>13
⇔ U+21D4 LESS-THAN OR EQUAL TO OR GREATER-THAN

Name: Anonymous 2008-10-05 16:17

>>14
I see what you did there

Name: Anonymous 2008-10-05 16:31

>>12
which is greater, NaN or INF?

Name: Anonymous 2008-10-05 16:42

>>16



>>> max("NaN","INF")

'NaN'

Name: Anonymous 2008-10-05 17:02

>>17



Prelude> max (1/0) (0/0)

Infinity

Prelude> max (0/0) (0/0)

NaN

Name: Anonymous 2008-10-05 17:03

>>16

*> max (0/0) (1/0)

NaN

Name: Anonymous 2008-10-05 17:13

>>16
> (max +inf.0 +nan.0) +nan.0 (max +nan.0 +inf.0) +nan.0

( scratchpad ) 1./0 0./0 max . 0.0/0.0 ( scratchpad ) 0./0 1./0 max . 1.0/0.0

Name: Anonymous 2008-10-05 17:13

Goddamn shiichan.

Name: Anonymous 2008-10-05 17:16

js> 1/0

Infinity

js> 0/0

NaN

js> typeof(Infinity)

number

js> typeof(NaN)

number

js> Math.max(Infinity,NaN)

NaN

js> Math.min(Infinity,NaN)

NaN

js> Infinity>NaN

false

js> Infinity<NaN

false

js> Infinity==NaN

false

Name: Anonymous 2008-10-05 19:52

*Main> max (1/0) (0/0)

Infinity

*Main> max (0/0) (1/0)

NaN

Wait, WHAT? max isn't commutative?

Name: Anonymous 2008-10-05 20:09

ITT: Quick course in IEEE-754

Name: Anonymous 2008-10-05 20:11

>>23
http://hackage.haskell.org/trac/haskell-prime/ticket/123

Name: Anonymous 2008-10-05 20:14

>>23
It is, provided that results from compare `make sense'. However, in this case, they don't, because we are comparing with NaN, and, as per IEEE 754 (I think):

Hugs> 1/0 > 0/0

False

Hugs> 0/0 > 1/0

False

Hugs> 0/0 == 0/0

False

Hugs> 0/0 < 0/0

False

Hugs> 0/0 > 0/0

False

PS. if(f == f) is a common way of testing for NaN.

See also http://hal.archives-ouvertes.fr/docs/00/28/14/29/PDF/floating-point-article.pdf

Name: Anonymous 2008-10-05 20:18

>>26
The word you are looking for is `total order'.

Name: Anonymous 2008-10-05 20:26

>>27
That’s two words.

Name: Anonymous 2008-10-05 20:33

>>28
ONE WORD

Name: Anonymous 2008-10-05 20:51

>>28
And next you'll be telling us "the forced indentation of the code" is 6 words?

You obviously haven't reached Satori. Re-read SICP.

Name: Anonymous 2008-10-05 20:58

>>30
I prefer HtDP.

Name: Anonymous 2008-10-05 21:07

So Math.max(a,b) == a does not imply a < b

RAAAAAAAAAGE

Name: Anonymous 2008-10-05 21:10

>>32
Well, no. That's what min is for.

Name: Anonymous 2008-10-05 21:11

>>31
I prefer _MySpace for ^Dummies

Name: Anonymous 2008-10-05 21:22

>>32
6/10

Name: Anonymous 2008-10-05 21:23

>>32
forgot your import java.lang.*;

Name: Anonymous 2008-10-05 23:08

>>36
Did you mean import static java.lang.Math;

Name: Anonymous 2008-10-05 23:11

>>36-37
ecmascript != JASP

Name: Anonymous 2008-10-08 18:01

JAwesome

Name: Anonymous 2008-10-08 21:34

λ

Name: Anonymous 2008-10-09 3:01

J_λ

Name: Anonymous 2013-01-19 23:23

/prog/ will be spammed continuously until further notice. we apologize for any inconvenience this may cause.

whta the fuck is lambda

1 Name: Anonymous 2008-10-04 15:00

2 Name: sage 2008-10-04 15:58

3 Name: Anonymous 2008-10-04 16:49

4 Name: Anonymous 2008-10-04 16:49

5 Name: Anonymous 2008-10-04 17:49

6 Name: Anonymous 2008-10-04 17:55

7 Name: Anonymous 2008-10-04 18:08

8 Name: Anonymous 2008-10-04 18:16

9 Name: Anonymous 2008-10-04 18:36

10 Name: Anonymous 2008-10-05 9:33

11 Name: Anonymous 2008-10-05 9:35

12 Name: Anonymous 2008-10-05 14:38

13 Name: Anonymous 2008-10-05 15:54

14 Name: Anonymous 2008-10-05 16:15

15 Name: Anonymous 2008-10-05 16:17

16 Name: Anonymous 2008-10-05 16:31

17 Name: Anonymous 2008-10-05 16:42

18 Name: Anonymous 2008-10-05 17:02

19 Name: Anonymous 2008-10-05 17:03

20 Name: Anonymous 2008-10-05 17:13

21 Name: Anonymous 2008-10-05 17:13

22 Name: Anonymous 2008-10-05 17:16

23 Name: Anonymous 2008-10-05 19:52

24 Name: Anonymous 2008-10-05 20:09

25 Name: Anonymous 2008-10-05 20:11

26 Name: Anonymous 2008-10-05 20:14

27 Name: Anonymous 2008-10-05 20:18

28 Name: Anonymous 2008-10-05 20:26

29 Name: Anonymous 2008-10-05 20:33

30 Name: Anonymous 2008-10-05 20:51

31 Name: Anonymous 2008-10-05 20:58

32 Name: Anonymous 2008-10-05 21:07

33 Name: Anonymous 2008-10-05 21:10

34 Name: Anonymous 2008-10-05 21:11

35 Name: Anonymous 2008-10-05 21:22

36 Name: Anonymous 2008-10-05 21:23

37 Name: Anonymous 2008-10-05 23:08

38 Name: Anonymous 2008-10-05 23:11

39 Name: Anonymous 2008-10-08 18:01

40 Name: Anonymous 2008-10-08 21:34

41 Name: Anonymous 2008-10-09 3:01

42 Name: Anonymous 2013-01-19 23:23

Name: Anonymous 2008-10-04 15:00

Name: sage 2008-10-04 15:58

Name: Anonymous 2008-10-04 16:49

Name: Anonymous 2008-10-04 16:49

Name: Anonymous 2008-10-04 17:49

Name: Anonymous 2008-10-04 17:55

Name: Anonymous 2008-10-04 18:08

Name: Anonymous 2008-10-04 18:16

Name: Anonymous 2008-10-04 18:36

Name: Anonymous 2008-10-05 9:33

Name: Anonymous 2008-10-05 9:35

Name: Anonymous 2008-10-05 14:38

Name: Anonymous 2008-10-05 15:54

Name: Anonymous 2008-10-05 16:15

Name: Anonymous 2008-10-05 16:17

Name: Anonymous 2008-10-05 16:31

Name: Anonymous 2008-10-05 16:42

Name: Anonymous 2008-10-05 17:02

Name: Anonymous 2008-10-05 17:03

Name: Anonymous 2008-10-05 17:13

Name: Anonymous 2008-10-05 17:13

Name: Anonymous 2008-10-05 17:16

Name: Anonymous 2008-10-05 19:52

Name: Anonymous 2008-10-05 20:09

Name: Anonymous 2008-10-05 20:11

Name: Anonymous 2008-10-05 20:14

Name: Anonymous 2008-10-05 20:18

Name: Anonymous 2008-10-05 20:26

Name: Anonymous 2008-10-05 20:33

Name: Anonymous 2008-10-05 20:51

Name: Anonymous 2008-10-05 20:58

Name: Anonymous 2008-10-05 21:07

Name: Anonymous 2008-10-05 21:10

Name: Anonymous 2008-10-05 21:11

Name: Anonymous 2008-10-05 21:22

Name: Anonymous 2008-10-05 21:23

Name: Anonymous 2008-10-05 23:08

Name: Anonymous 2008-10-05 23:11

Name: Anonymous 2008-10-08 18:01

Name: Anonymous 2008-10-08 21:34

Name: Anonymous 2008-10-09 3:01

Name: Anonymous 2013-01-19 23:23