4 ms·
You don’t think it would have needlessly obscured the point of the article, which was about giving a concrete example of some interesting category theory concep
by joppy 6y ago
You don’t think it would have needlessly obscured the point of the article, which was about giving a concrete example of some interesting category theory concepts? This is clearly not a post about lambda calculus, but about explaining some pretty abstract stuff in terms of an example more understandable (at least to people familiar with components).
Also, church-encoding numbers makes no sense if the purpose is to lift JavaScript values into a function which react can swallow.
- pinopinopino 6y agoNo, I don't think so. But it depends how you look at the article. If it is about what you can do in javascript then it doesn't make sense. But if you view it as a fun introduction to the algebraic structure of functions, where you use javascript as educational vehicle then yes it makes sense. Church encoding is a consequence of the algebraic structure of functions, which is really cool to realize. It kinda lights up the bulb in your head, shows you that lambda calculus (which cannot be separated from the algebraic structure of functions) is a powerful concept.