Jump to content

Great Medium Post on ƛ Calculus and Y Combinators

Builder

Would you believe that I learned the basics about lambda calculus in a Natural Language class (Comp. Sci. master's degree)?!

It is used to calculate the semantic of a sentence by attaching semantic rules to a context-free grammar.

 

I wouldn't recommend starting with that article, though. There are a lot of concepts missing and the rules are not explicitly defined on how to perform beta-reduction or substitution.

I did learn what a Y Combinator is and how recursion is formally represented (plus the if-else structures after some research on Wikipedia!).

Link to comment
Share on other sites

Link to post
Share on other sites

https://medium.com/@ayanonagon/the-y-combinator-no-not-that-one-7268d8d9c46

 

Brilliant for the FP geeks out there, (guilty.) I now understand lambda calculus!

Now that is a rather nice post I must say, very well suited

for a newbie to the subject such as myself. Will keep this in

my link collection, thanks! :)

BUILD LOGS: HELIOS - Latest Update: 2015-SEP-06 ::: ZEUS - BOTW 2013-JUN-28 ::: APOLLO - Complete: 2014-MAY-10
OTHER STUFF: Cable Lacing Tutorial ::: What Is ZFS? ::: mincss Primer ::: LSI RAID Card Flashing Tutorial
FORUM INFO: Community Standards ::: The Moderating Team ::: 10TB+ Storage Showoff Topic

Link to comment
Share on other sites

Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

×