/sci/ - Science & Math

File: 78 KB, 800x494, obsidian.jpg [View same] [iqdb] [saucenao] [google]

Lisp and Lambda Calculus Anonymous Thu May 25 11:04:35 2017 No.8934846 [Reply] [Original]

So I think I'ma use MIT's guide for Lisp, what are some good resources for Lambda Calculus?

>>	H Thu May 25 11:08:40 2017 No.8934848 File: 30 KB, 600x380, 176007.jpg [View same] [iqdb] [saucenao] [google] >>8934846 That looks like those pics of a hypodermic needle before use and after a few uses.

>>	Anonymous Thu May 25 11:16:21 2017 No.8934853 File: 154 KB, 600x511, Durable+yes+obsidian+is+still+technically+glass+after+all+and+_da245b3b5cbcd60b52452a849d6c3cb8.jpg [View same] [iqdb] [saucenao] [google] >>8934848 just the sexiness of obsidian precision

>>	Anonymous Thu May 25 11:32:23 2017 No.8934875 >>8934846 Why would anyone name a language lisp? Please use my language, I would have called it dildobuttholeIlikepenis but lisp was fewer letters.

>>	Anonymous Thu May 25 11:33:55 2017 No.8934878 >>8934875 is this a joke? Lisp = list processor

>>	Anonymous Thu May 25 11:44:59 2017 No.8934895 >>8934878 Integrated Mechanical Generating Algorithm Yeti

>>	Anonymous Thu May 25 11:47:04 2017 No.8934896 >>8934846 Why do you care about lambda calculus? Just for shits and giggles?

>>	Anonymous Thu May 25 11:48:31 2017 No.8934898 >>8934846 barendregt

>>	Anonymous Thu May 25 11:48:45 2017 No.8934899 File: 337 KB, 1144x888, brain hulk.png [View same] [iqdb] [saucenao] [google] >>8934896 brainlet detected

>>	Anonymous Thu May 25 11:49:06 2017 No.8934900 >>8934846 You're better off asking /g/

>>	Anonymous Thu May 25 11:49:24 2017 No.8934901 >>8934898 krut barendregt

>>	Anonymous Thu May 25 11:51:02 2017 No.8934906 File: 191 KB, 958x1227, jj.jpg [View same] [iqdb] [saucenao] [google] >>8934899 hurr If he has a specific motivation there may be a more focused reference to give.

Anonymous Thu May 25 11:56:19 2017 No.8934914

>>8934895
?

>>8934896
>shits and giggles
I wanna work on my pattern recognition et al.

>>8934900
Yeah, they might have better resources for Lisp, but I figured you guys would have something good for Lambda calc.

>>8934901
https://www.amazon.com/Calculus-Semantics-Studies-Foundations-Mathematics/dp/0444875085
?

Anonymous Thu May 25 14:00:25 2017 No.8935093

>>8934914
>I wanna work on my pattern recognition et al.
Hmm? Are you going to be writing interpreters of various lambda calculii or just tinkering on paper writing proofs or what? Maybe you want a textbook like https://en.wikipedia.org/wiki/Programming_Languages%3A_Application_and_Interpretation

>>	Anonymous Thu May 25 18:05:20 2017 No.8935520 >>8934853 Obsidian is brittle and prone to flaking off in large chunks. I hope you like sharp little bits of rock left in your heart.

>>	Anonymous Thu May 25 19:58:56 2017 No.8935694 File: 224 KB, 684x600, Tezcatlipoca_3.jpg [View same] [iqdb] [saucenao] [google] >>8935093 I wanna learn the use(s) and potential limitation(s) of a turing machine. >>8935520 mmmmkay bud

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]