Lambda Calculus in Clojure (Part...
Sergio Rodrigo Royo
- By Sergio Rodrigo Royo
- Posted 25 Jan 2018
Lambda Calculus in Clojure (Part 2)
In Part 1, we built a boolean algebra using Church Encoding. In this post, we are going to reuse some of the previous work to build a similar algebra, this time for numerals. Church numerals In the algebra we built in the previous post, Church...
- By Sergio Rodrigo Royo
- Posted 14 Dec 2017
Lambda Calculus in Clojure (Part 1)
Lambda Calculus is the smallest programming language. As we saw on my previous post, the only building blocks available are functions, variables and expressions. There are no built-in primitive values or operations. How can we then solve real-world problems using Lambda Calculus? In this post,...
- By Sergio Rodrigo Royo
- Posted 09 Nov 2017
Lambda Calculus for mortal developers
Lambda Calculus sounds like an arcane term that only functional programming wizards can understand. Nothing could be further from the truth. We use Lambda Calculus everyday when we program. It is the most reducible form of all Functional Programming languages; the primitive building block of...
- By Raquel M Carmena
- Posted 30 Oct 2017
Lambda World Conference 2017
Thanks Codurance for giving me the opportunity of attending Lambda World Conference 2017 last 26th and 27th October in Cádiz (Spain), a Functional Programming event consisting of two intense days: A half-day of open space A half-day of workshops A full day of talks Rúnar...
Software is our passion.
We are software craftspeople. We build well-crafted software for our clients, we help developers to get better at their craft through training, coaching and mentoring, and we help companies get better at delivering software.
Latest Blogs
One Year of Codurance Barcelona...
Guillem Fernandez
Functions
Christian Panadero Martinez
Useful Links
Contact Us
London EC1V 0JR
Phone: +44 207 4902967
Carrer Aragó, 208
08011, Barcelona
Phone: +34 689 723 737
Email: hello@codurance.com