Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Lambda

Name: Anonymous 2007-08-24 9:14 ID:Nvw18WLF

Every time I see threads about lambda I see code that hurts my eyes.

Name: Anonymous 2007-08-24 9:22 ID:zRzSAc8w

Every time I see threads about Lisp I see parentheses that hurt my eyes.

Name: Anonymous 2007-08-24 9:22 ID:0t7sPQkZ

(define (church+ m n)
  (lambda (f) (lambda (x) (m f ((n f) x)))))

Name: Anonymous 2007-08-24 9:22 ID:RIJqVsSF

\x -> x x

Name: Anonymous 2007-08-24 9:23 ID:Heaven

Every time I see threads about Python I see forced indentation of the code, thread over.

Name: Anonymous 2007-08-24 9:26 ID:RIJqVsSF

church+ m n = \f -> \x -> m f ((n f) x)

Name: Anonymous 2007-08-24 9:37 ID:cfRrNChI

((λ (x) `(,x ',x)) '(λ (x) `(,x ',x)))

Name: Anonymous 2007-08-24 9:59 ID:FbbrbSOO

>>5
lol'd

Name: Anonymous 2007-08-24 11:35 ID:Heaven

>>5
How remarkably apt.

Name: Anonymous 2007-08-24 13:12 ID:H2svBrp1

>>6
I thought Church's original application syntax was like f(x) rather than (f x). Thus the reason why any writings on lambda calculus from a non-lisp, non-ml, non-haskell perspective tends to be rather painful on the eyes.

Name: Anonymous 2009-02-26 20:31

Separatist ``FUCK THE POH LEECE'' Ghost mode is for butthurt losers who miss being able to post on /jp/.  Also, you can't spell ``faggot quotes'' without ``faggot''.

PROVE ME WRONG!

Name: Anonymous 2011-02-04 18:53

Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -