Lambda (uppercase Λ, lowercase λ) is the 11th letter of the Greek alphabet. In the system of Greek numerals it has a value of 30. Letters that arose from Lambda include the Roman L and the Cyrillic letter El (Л, л).
Name:
Anonymous2007-07-08 22:26 ID:OIsBKXbL
This thread lacks suave. You can help it by adding trace amounts of Lisp.
Name:
Anonymous2007-07-08 22:57 ID:tLthHqnr
Lambda BBCode abstraction is a way to write programs down using pure enterprise quality Church numerals, professional AJAX β-reduction and having a nice cup of read the fucking Wikipedia.
Name:
Anonymous2007-07-08 23:00 ID:sFIXeWxl
makes anonymous functions.
there's probably some complicated explanation about pure maths and lamdba calculus and formal logic too.
Name:
Anonymous2007-07-08 23:51 ID:87/b0oG9
lambda binds variables to values, nothing more.
Name:
Anonymous2007-07-09 0:15 ID:x3tyCCgy
"What exactly is Lambda?"
No, they are two completely different things.
Name:
Anonymous2007-07-09 0:34 ID:Ec52XHZ3
Your mom
Name:
Anonymous2007-07-09 3:19 ID:VrYX9Nws
lambda is useless abstraction.
Name:
Anonymous2007-07-09 7:02 ID:MQhhHTJm
It's something you can make with the S and K combinators.
>>12
Asshole, you fucked it up. SKI combinatoric logic is
Sx → x
Ixy → x (so-called identifier function)
Kxyz → xz(yz)
And it is based on λ-calculus, not equal to it.
Name:
Anonymous2007-07-09 20:18 ID:/Gck9M+X
>>14
you idiot! I is just syntactic sugar for SKK. >>12 was defining lambda, which is also just syntactic sugar. also, lambda calculus is based on SKI combinator calculus, not the other way around.
Name:
Anonymous2007-07-10 1:33 ID:QO6sqlZ/
ITT nerds
Name:
Anonymous2007-07-10 3:37 ID:B/4qNz3+
ITT people who never get laid
Name:
Anonymous2007-07-10 3:41 ID:CfjjDaMf
>>15
Oh yeah, excuse me, I totally forgot that we are on a Serious Board of Enterprise Development Professional Solutions.
Also, SK basis is inferior to IBCS, and anyone who uses SK (with this disguisting «syntactic sugar» so-called Identity function) in 2007 is a crap-eating moron incapable of anything.
Name:
Anonymous2007-07-10 4:01 ID:vmEnSjSe
EVERYTHING IS SYNTACTIC SUGAR
Name:
Anonymous2007-07-10 4:07 ID:eAYuEMEx
>>14
Fucking idiot, SKI is not based on λ calculus.
Name:
Anonymous2007-07-10 5:04 ID:CfjjDaMf
>>20
Oh yeah? And what is it based on then? Pointer arithmetic or intel-based calculator calculus? Be sure to finish elementary school before joining the discussion betweeen highschool students.
Name:
Anonymous2007-07-10 5:10 ID:eAYuEMEx
>>21
SKI Combinator calculus is a computational system, on which Lambda calculus operations are based. Be sure to shut the fuck up.
>>24
Until you can provide solid evidence, all of this is baseless conjecture. I may or may not be >>21 and >>23. But can you prove it? Not bloody likely. I win.
Name:
Anonymous2007-07-10 6:24 ID:CfjjDaMf
>>22
Why are you so sure that I was serious? I even swapped the axioms in >>14. Jeez, how dumb underage wannabe math nerds are.