/explore
|
You are here 
|
www.baturin.org | ||
| | | | |
gilmi.me
m.me - The bottom of the Haskell Pyramid |
|
| | | | | ||
| | | | |
hookrace.net
|
|
| | | | | ||
| | | | |
bartoszmilewski.com
This is part of the book Category Theory for Programmers. The previous instalment was Category: The Essence of Composition. See the Table of Contents. The category of types and functions plays an important role in programming, so let's talk about what types are and why we need them. Who Needs Types? There seems to be... |
|
| | | | | ||
| | | | |
aartaka.me
Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus. |
|
| | | |||
