A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks

Подписаться 261

Просмотров 12 тыс.

50% 1

The Lambda Calculus is a tiny symbol manipulation system which suffices to compute anything Turing-computable. Thanks to this expressive power, LC is woven into the DNA of functional programming languages. In this talk, the surprises and delights of LC and related formalisms are demonstrated through the familiar lens of JavaScript.
Gabriel's slides:
speakerdeck.com/glebec/lambda...
Gist of the Q&A part:
gist.github.com/glebec/7d9d14...
See part II of Gabriel's talk at:
github.com/glebec/lambda-talk
---
October 2019 | Smartly.io DevTalks
www.meetup.com/Smartly-io-Dev...
Want to know about future events at Smartly.io? Join our meetup group:
www.meetup.com/Smartly-io-Dev...
Learn more about being a developer at Smartly.io:
www.smartly.io/careers/develo...
Smartly.io Engineering blog:
www.smartly.io/blog/tag/engin...
Follow us on Twitter:
@smartlyio_devs

Наука

Опубликовано:

17 май 2024

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 15

@DevineLuLinvega 2 года назад

Interobang spotted!! Nice talk, it made a lot of things clearer, thank you.

@mskiptr 2 года назад

Wow! That is one awesome talk!

@qu4ku 7 месяцев назад

great talk, thanks to the author.

@neilbedwell7763 2 года назад

There is something incredibly daoist about boolean logic and equality expressed as combinators

@marcfoster715 Год назад

Which is probably why Raymond Smullyan loved combinatory logic.

@helloimwill 3 года назад

Once thought an idiot bird, later was found to be fond of all other birds and itself. 🥰

@Ancipital_ Год назад

Can someone please explain to me λf.ff. In particular the ff after the period. Can this be reduced and if so, how? I don't understand how to understand this 😸 (λf.ff)λa.a = (λa.a)λa.a .. i get it but i don't get it.

@Coolbassist Год назад

λf.ff takes a function f, and applies f to f. You're correct in that (λf.ff)λa.a = (λa.a)λa.a. λa.a is the identity function, which we can call I. So (λf.ff)I is equal to II, which is the identity function applied to the identity function. Which returns just the identity function, I.

@zekodun 2 года назад

curious how this works for SKI commentators?

@caosed4991 2 года назад

Google changes people. Hmm or maybe its just age.😶

2 года назад

in what way? i only watched the older video

@caosed4991 2 года назад

@ i honestly don't remember why I made that comment, but i think it was because in this video it looks like they talk in a more lower level language? If that makes sense. In this video they are talking in javascript, unlike the other video, where they were talking in math more. And I don't think that's a great thing. Just a personal opinion.