Episode 317
Combinatory logic
Fri, 2018-Mar-16 01:33 UTC
Length - 1:39
Direct Link
Welcome to popular Wiki of the Day where we read the summary of a popular Wikipedia page every day.
With 606,163 views on Thursday, 15 March 2018 our article of the day is Combinatory logic.
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell Curry, and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.
This recording reflects the Wikipedia text as of 01:33 UTC on Friday, 16 March 2018.
For the full current version of the article, go to http://en.wikipedia.org/wiki/Combinatory_logic.
This podcast is produced by Abulsme Productions based on Wikipedia content and is released under a Creative Commons Attribution-ShareAlike License.
Visit wikioftheday.com for our archives, sister podcasts, and swag. Please subscribe to never miss an episode. You can also follow @WotDpod on Twitter.
Abulsme Productions produces the current events podcast Curmudgeon's Corner as well. Check it out in your podcast player of choice.
This has been Aditi. Thank you for listening to popular Wiki of the Day.
|
|
Buy WotD Stuff!!
